summaryrefslogtreecommitdiffstats
path: root/application/config/user_agents.php
diff options
context:
space:
mode:
authorftwbzhao <b.zhao1@gmail.com>2015-07-06 10:47:54 +0200
committerftwbzhao <b.zhao1@gmail.com>2015-07-06 10:47:54 +0200
commit5cd726abed384ce594d07cc59dcd61f613f10d49 (patch)
treea59af74d4084620ab360a26a403eb2a7495364d2 /application/config/user_agents.php
parent820f06f63de3da890a87a88161daea0fd1be8caa (diff)
parentc79a62c5c43c75a3dbc0af77433694340b235047 (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.php1
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',