From fa091d879c3af6ab6505131c647c11d041aee9d8 Mon Sep 17 00:00:00 2001 From: Klaus Leithoff Date: Thu, 18 Apr 2013 14:21:32 +0000 Subject: [PATCH] adapt preg_match to recognize IE 10 --- phpgwapi/inc/class.browser.inc.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/phpgwapi/inc/class.browser.inc.php b/phpgwapi/inc/class.browser.inc.php index 7ff98d4e5f..6b3a3844fb 100644 --- a/phpgwapi/inc/class.browser.inc.php +++ b/phpgwapi/inc/class.browser.inc.php @@ -36,7 +36,7 @@ class browser /* Determine browser and version */ - if(preg_match('/MSIE ([0-9].[0-9]{1,2})/',$HTTP_USER_AGENT,$log_version)) + if(preg_match('/MSIE ([0-9]*[0-9].[0-9]{1,2})/',$HTTP_USER_AGENT,$log_version)) { self::$version = $log_version[1]; self::$agent = 'IE'; @@ -203,4 +203,4 @@ class browser html::content_header($fn,$mime,$length,$nocache); } } -browser::init_static(); \ No newline at end of file +browser::init_static();