diff options
| author | Michael Dennis <michaeljdennis@gmail.com> | 2011-08-29 19:06:59 +0200 |
|---|---|---|
| committer | Michael Dennis <michaeljdennis@gmail.com> | 2011-08-29 19:06:59 +0200 |
| commit | 013f78dc6a878d7775aa2bbcef573934a6d88a72 (patch) | |
| tree | 97ba05fd8e5efc066cb8f428744991fc628d207b /application/config/user_agents.php | |
| parent | cb07a322bee5c5b0a551ab959c7475a1a702ad03 (diff) | |
| parent | 70e61b5dc0b240c4a3341ca65ad9f2f5254df1b5 (diff) | |
Merge remote-tracking branch 'upstream/develop' into develop
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 e2d3c3af0..4746f2fcd 100644 --- a/application/config/user_agents.php +++ b/application/config/user_agents.php @@ -126,6 +126,7 @@ $mobiles = array( 'sendo' => "Sendo", // Operating Systems + 'android' => "Android", 'symbian' => "Symbian", 'SymbianOS' => "SymbianOS", 'elaine' => "Palm", |