diff options
author | Dionysis Arvanitis <dionysis.arvanitis@gmail.com> | 2014-01-15 15:24:15 +0100 |
---|---|---|
committer | Dionysis Arvanitis <dionysis.arvanitis@gmail.com> | 2014-01-15 15:24:15 +0100 |
commit | 2cdd50e98373327c72f6a38ba1016abafe496018 (patch) | |
tree | 9b30ddc6b2a34db39c3fc8ee14063b6ceec44097 | |
parent | 0c234d06d24294b57c3c25474e6486a22324e59c (diff) |
Trident prefix added to avoid potential false positives.
-rw-r--r-- | application/config/user_agents.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/application/config/user_agents.php b/application/config/user_agents.php index a5d132904..819e42b69 100644 --- a/application/config/user_agents.php +++ b/application/config/user_agents.php @@ -90,7 +90,7 @@ $browsers = array( 'Opera' => 'Opera', 'MSIE' => 'Internet Explorer', 'Internet Explorer' => 'Internet Explorer', - 'rv' => 'Internet Explorer', + 'Trident.* rv' => 'Internet Explorer', 'Shiira' => 'Shiira', 'Firefox' => 'Firefox', 'Chimera' => 'Chimera', |