diff options
author | Andrey Andreev <narf@devilix.net> | 2019-10-08 10:15:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-08 10:15:59 +0200 |
commit | 92fc1c0f5a08e396f2e008f32331214db0ece727 (patch) | |
tree | d5724d321ebf1c319d0d745939a2833ad695994d /application/config/user_agents.php | |
parent | 6f21b77955e5089bc07881adb209d2c23d9ba461 (diff) | |
parent | b92da898b46acde1181347941d0a7413d19ad88e (diff) |
[ci skip] Merge pull request #5849 from Lablnet/patch-1
Added Infinix manufacture in user_agents.php
Diffstat (limited to 'application/config/user_agents.php')
-rw-r--r-- | application/config/user_agents.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/application/config/user_agents.php b/application/config/user_agents.php index 48d5ab526..c866903f6 100644 --- a/application/config/user_agents.php +++ b/application/config/user_agents.php @@ -157,6 +157,7 @@ $mobiles = array( 'xiaomi' => 'Xiaomi', 'oppo' => 'Oppo', 'vivo' => 'Vivo', + 'infinix' => 'Infinix', // Operating Systems 'android' => 'Android', |