equal
deleted
inserted
replaced
114 } elseif ( strpos($_SERVER['HTTP_USER_AGENT'], 'Mobile') !== false // many mobile devices (all iPhone, iPad, etc.) |
114 } elseif ( strpos($_SERVER['HTTP_USER_AGENT'], 'Mobile') !== false // many mobile devices (all iPhone, iPad, etc.) |
115 || strpos($_SERVER['HTTP_USER_AGENT'], 'Android') !== false |
115 || strpos($_SERVER['HTTP_USER_AGENT'], 'Android') !== false |
116 || strpos($_SERVER['HTTP_USER_AGENT'], 'Silk/') !== false |
116 || strpos($_SERVER['HTTP_USER_AGENT'], 'Silk/') !== false |
117 || strpos($_SERVER['HTTP_USER_AGENT'], 'Kindle') !== false |
117 || strpos($_SERVER['HTTP_USER_AGENT'], 'Kindle') !== false |
118 || strpos($_SERVER['HTTP_USER_AGENT'], 'BlackBerry') !== false |
118 || strpos($_SERVER['HTTP_USER_AGENT'], 'BlackBerry') !== false |
119 || strpos($_SERVER['HTTP_USER_AGENT'], 'Opera Mini') !== false ) { |
119 || strpos($_SERVER['HTTP_USER_AGENT'], 'Opera Mini') !== false |
|
120 || strpos($_SERVER['HTTP_USER_AGENT'], 'Opera Mobi') !== false ) { |
120 $is_mobile = true; |
121 $is_mobile = true; |
121 } else { |
122 } else { |
122 $is_mobile = false; |
123 $is_mobile = false; |
123 } |
124 } |
124 |
125 |