summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRepox <storm@err0r.dk>2011-11-21 14:08:52 +0100
committerRepox <storm@err0r.dk>2011-11-21 14:08:52 +0100
commitb8daad77176ba880da315a98ea69dde2bec2c8f3 (patch)
tree45bde1e6a8330f17ede99b8f7d8a0b65a6d412a9
parentc737c94b6dd2044b7c1a7d506c57de7da6df97f4 (diff)
Added 'opera mobi' to user agents making it identified as 'Opera Mini'. Fixes issue #683
-rw-r--r--application/config/user_agents.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/application/config/user_agents.php b/application/config/user_agents.php
index 03cba9bc8..c3c7eaecb 100644
--- a/application/config/user_agents.php
+++ b/application/config/user_agents.php
@@ -174,6 +174,7 @@ $mobiles = array(
'mobilexplorer' => "Mobile Explorer",
'operamini' => "Opera Mini",
'opera mini' => "Opera Mini",
+ 'opera mobi' => "Opera Mini",
// Other
'digital paths' => "Digital Paths",