// // $Id: browser_info.js 3618 2007-08-10 07:50:36Z seva $ // browser_info = { init: function () { this.browser = this.search_string(this.data_browser) || lang.info_unknown; this.version = this.search_version(navigator.userAgent) || this.search_version(navigator.appVersion) || lang.info_unknown; this.os = this.search_string(this.data_os) || lang.info_unknown; }, search_string: function (data) { for (var i=0;i