summaryrefslogtreecommitdiffstats
path: root/application/config/user_agents.php
diff options
context:
space:
mode:
authorPhil Sturgeon <email@philsturgeon.co.uk>2011-11-21 14:55:39 +0100
committerPhil Sturgeon <email@philsturgeon.co.uk>2011-11-21 14:55:39 +0100
commiteb3ed335e38ee51aaf3783b108ffeb3dda61b0a7 (patch)
tree45bde1e6a8330f17ede99b8f7d8a0b65a6d412a9 /application/config/user_agents.php
parentc737c94b6dd2044b7c1a7d506c57de7da6df97f4 (diff)
parentb8daad77176ba880da315a98ea69dde2bec2c8f3 (diff)
Merge pull request #685 from Repox/develop
Added 'opera mobi' to user agents making it identified as 'Opera Mini'. ...
Diffstat (limited to 'application/config/user_agents.php')
-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",