| commit | b8daad77176ba880da315a98ea69dde2bec2c8f3 | [log] [tgz] |
|---|---|---|
| author | Repox <storm@err0r.dk> | Mon Nov 21 14:08:52 2011 +0100 |
| committer | Repox <storm@err0r.dk> | Mon Nov 21 14:08:52 2011 +0100 |
| tree | 45bde1e6a8330f17ede99b8f7d8a0b65a6d412a9 | |
| parent | c737c94b6dd2044b7c1a7d506c57de7da6df97f4 [diff] [blame] |
Added 'opera mobi' to user agents making it identified as 'Opera Mini'. Fixes issue #683
diff --git a/application/config/user_agents.php b/application/config/user_agents.php index 03cba9b..c3c7eae 100644 --- a/application/config/user_agents.php +++ b/application/config/user_agents.php
@@ -174,6 +174,7 @@ 'mobilexplorer' => "Mobile Explorer", 'operamini' => "Opera Mini", 'opera mini' => "Opera Mini", + 'opera mobi' => "Opera Mini", // Other 'digital paths' => "Digital Paths",