diff options
author | Andrey Andreev <narf@devilix.net> | 2019-10-08 09:33:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-08 09:33:07 +0200 |
commit | 5cd4c8e67c1f096b6cfbc4994608952c59b6dff8 (patch) | |
tree | 8e9824987f51375646278c51875f5282e0193b68 | |
parent | 93276e96f1e308a870ce3fe0fd8300b5972620a6 (diff) | |
parent | 315acfa47757aef9355a4658a59269530183819d (diff) |
[ci skip] Merge pull request #5851 from ossamamehmood/patch-1
Fix for #5711 and added two more models
-rw-r--r-- | application/config/user_agents.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/application/config/user_agents.php b/application/config/user_agents.php index 3523528bf..48d5ab526 100644 --- a/application/config/user_agents.php +++ b/application/config/user_agents.php @@ -153,6 +153,10 @@ $mobiles = array( 'open web' => 'Open Web', 'openweb' => 'OpenWeb', 'meizu' => 'Meizu', + 'huawei' => 'Huawei', + 'xiaomi' => 'Xiaomi', + 'oppo' => 'Oppo', + 'vivo' => 'Vivo', // Operating Systems 'android' => 'Android', |