diff options
| author | Repox <storm@err0r.dk> | 2011-11-21 14:08:52 +0100 |
|---|---|---|
| committer | Repox <storm@err0r.dk> | 2011-11-21 14:08:52 +0100 |
| commit | b8daad77176ba880da315a98ea69dde2bec2c8f3 (patch) | |
| tree | 45bde1e6a8330f17ede99b8f7d8a0b65a6d412a9 | |
| parent | c737c94b6dd2044b7c1a7d506c57de7da6df97f4 (diff) | |
Added 'opera mobi' to user agents making it identified as 'Opera Mini'. Fixes issue #683
| -rw-r--r-- | application/config/user_agents.php | 1 |
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", |