From b8daad77176ba880da315a98ea69dde2bec2c8f3 Mon Sep 17 00:00:00 2001 From: Repox Date: Mon, 21 Nov 2011 14:08:52 +0100 Subject: Added 'opera mobi' to user agents making it identified as 'Opera Mini'. Fixes issue #683 --- application/config/user_agents.php | 1 + 1 file changed, 1 insertion(+) (limited to 'application/config') 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", -- cgit v1.2.3-24-g4f1b