diff options
| author | Joffrey Jaffeux <j.jaffeux@gmail.com> | 2012-06-06 16:59:04 +0200 |
|---|---|---|
| committer | Joffrey Jaffeux <j.jaffeux@gmail.com> | 2012-06-06 16:59:04 +0200 |
| commit | d284360a52691cd1f3a83ff51b498725146f81c7 (patch) | |
| tree | c5ef6a1e9f9284d1447aef5090bb7a4b6b4054a1 /application | |
| parent | 908f36a583384b0314d04c4cfe71992746e35daa (diff) | |
| parent | 47b673324f06236264ca64f8c3155aab51762609 (diff) | |
Merge https://github.com/EllisLab/CodeIgniter into valid-ipv6
Conflicts:
user_guide_src/source/changelog.rst
Diffstat (limited to 'application')
| -rw-r--r-- | application/config/user_agents.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/application/config/user_agents.php b/application/config/user_agents.php index 76114616b..416ef5679 100644 --- a/application/config/user_agents.php +++ b/application/config/user_agents.php @@ -29,11 +29,10 @@ | ------------------------------------------------------------------- | USER AGENT TYPES | ------------------------------------------------------------------- -| This file contains four arrays of user agent data. It is used by the +| This file contains four arrays of user agent data. It is used by the | User Agent Class to help identify browser, platform, robot, and -| mobile device data. The array keys are used to identify the device +| mobile device data. The array keys are used to identify the device | and the array values are used to set the actual name of the item. -| */ $platforms = array( @@ -179,6 +178,7 @@ $mobiles = array( 'operamini' => 'Opera Mini', 'opera mini' => 'Opera Mini', 'opera mobi' => 'Opera Mobile', + 'fennec' => 'Firefox Mobile', // Other 'digital paths' => 'Digital Paths', |