diff --git a/resources/functions.php b/resources/functions.php index 6007bf1b84..ef26160d1d 100644 --- a/resources/functions.php +++ b/resources/functions.php @@ -779,7 +779,7 @@ function format_string ($format, $data) { } //get the name of the useragent - if (preg_match('/MSIE/i',$user_agent) && !preg_match('/Opera/i',$user_agent)) { + if (preg_match('/MSIE/i',$user_agent) || preg_match('/Trident/i',$user_agent)) { $browser_name = 'Internet Explorer'; $browser_shortname = 'MSIE'; } @@ -803,6 +803,10 @@ function format_string ($format, $data) { $browser_name = 'Netscape'; $browser_shortname = 'Netscape'; } + else { + $browser_name = 'Unknown'; + $browser_shortname = 'Unknown'; + } //finally get the correct version number $known = array('Version', $browser_shortname, 'other');