diff options
| author | Andrey Andreev <narf@devilix.net> | 2015-07-05 12:16:12 +0200 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2015-07-05 12:16:12 +0200 |
| commit | b28ae67ae212d52ac1a3970fbf42ef99ce09450a (patch) | |
| tree | 072c9e4cbf56f9fc90037c2b655d070916e56414 /application/config/user_agents.php | |
| parent | a1170aff602317d9b6f2d5c1d5cc60d3dc82ee58 (diff) | |
| parent | adf7636fb82a01ea4c9acf3322715a9e653e37fe (diff) | |
Merge pull request #3953 from calvintam236/develop
[ci skip] Fix comment typos and strip some new lines
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', |