diff options
author | ftwbzhao <b.zhao1@gmail.com> | 2015-07-06 10:47:54 +0200 |
---|---|---|
committer | ftwbzhao <b.zhao1@gmail.com> | 2015-07-06 10:47:54 +0200 |
commit | 5cd726abed384ce594d07cc59dcd61f613f10d49 (patch) | |
tree | a59af74d4084620ab360a26a403eb2a7495364d2 /application/config/user_agents.php | |
parent | 820f06f63de3da890a87a88161daea0fd1be8caa (diff) | |
parent | c79a62c5c43c75a3dbc0af77433694340b235047 (diff) |
Merge branch 'develop' of github.com:bcit-ci/CodeIgniter into develop
Conflicts:
user_guide_src/source/changelog.rst
Diffstat (limited to 'application/config/user_agents.php')
-rw-r--r-- | application/config/user_agents.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/application/config/user_agents.php b/application/config/user_agents.php index fd8ed48cd..1129dbacd 100644 --- a/application/config/user_agents.php +++ b/application/config/user_agents.php @@ -10,7 +10,6 @@ defined('BASEPATH') OR exit('No direct script access allowed'); | 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( 'windows nt 10.0' => 'Windows 10', 'windows nt 6.3' => 'Windows 8.1', |