diff options
| author | Andrey Andreev <narf@devilix.net> | 2013-10-14 11:14:56 +0200 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2013-10-14 11:14:56 +0200 |
| commit | 4330df2e5870e28d1f2688aa6bd03eab488f340a (patch) | |
| tree | d3b2e662633afa80263ea8a793593611d7302c4e /application/config/user_agents.php | |
| parent | 2637f5b6afd5160a3714206727d5b5ca224cab62 (diff) | |
| parent | 024105034909b189ad995ca01aadcefc510ce144 (diff) | |
Merge pull request #2676 from Jcchemin/patch-1
Update user_agents.php
Diffstat (limited to 'application/config/user_agents.php')
| -rw-r--r-- | application/config/user_agents.php | 3 |
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 */ |