summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2013-10-14 11:14:56 +0200
committerAndrey Andreev <narf@devilix.net>2013-10-14 11:14:56 +0200
commit4330df2e5870e28d1f2688aa6bd03eab488f340a (patch)
treed3b2e662633afa80263ea8a793593611d7302c4e
parent2637f5b6afd5160a3714206727d5b5ca224cab62 (diff)
parent024105034909b189ad995ca01aadcefc510ce144 (diff)
Merge pull request #2676 from Jcchemin/patch-1
Update user_agents.php
-rw-r--r--application/config/user_agents.php3
1 files changed, 2 insertions, 1 deletions
diff --git a/application/config/user_agents.php b/application/config/user_agents.php
index 5887a15be..9177f3e61 100644
--- a/application/config/user_agents.php
+++ b/application/config/user_agents.php
@@ -81,6 +81,7 @@ $platforms = array(
// The order of this array should NOT be changed. Many browsers return
// multiple browser types so we want to identify the sub-type first.
$browsers = array(
+ 'OPR' => 'Opera',
'Flock' => 'Flock',
'Chrome' => 'Chrome',
'Opera' => 'Opera',
@@ -222,4 +223,4 @@ $robots = array(
);
/* End of file user_agents.php */
-/* Location: ./application/config/user_agents.php */ \ No newline at end of file
+/* Location: ./application/config/user_agents.php */