diff options
| author | Jcchemin <jcchemin06@gmail.com> | 2013-10-08 18:18:54 +0200 |
|---|---|---|
| committer | Jcchemin <jcchemin06@gmail.com> | 2013-10-08 18:18:54 +0200 |
| commit | 024105034909b189ad995ca01aadcefc510ce144 (patch) | |
| tree | d3b2e662633afa80263ea8a793593611d7302c4e | |
| parent | 2637f5b6afd5160a3714206727d5b5ca224cab62 (diff) | |
Update user_agents.php
Add detection for Opera 16
| -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 */ |