|
@@ 209-216 (lines=8) @@
|
| 206 |
|
* Determine if the browser is Opera Mini or not |
| 207 |
|
* @return boolean Whether or not this is Opera Mini |
| 208 |
|
*/ |
| 209 |
|
function isOperaMini() |
| 210 |
|
{ |
| 211 |
|
if (!isset($this->_browsers['is_opera_mini'])) |
| 212 |
|
$this->_browsers['is_opera_mini'] = (isset($_SERVER['HTTP_X_OPERAMINI_PHONE_UA']) || stripos($_SERVER['HTTP_USER_AGENT'], 'opera mini') !== false); |
| 213 |
|
if ($this->_browsers['is_opera_mini']) |
| 214 |
|
$this->_is_mobile = true; |
| 215 |
|
return $this->_browsers['is_opera_mini']; |
| 216 |
|
} |
| 217 |
|
|
| 218 |
|
/** |
| 219 |
|
* Determine if the browser is Opera Mobile or not |
|
@@ 222-229 (lines=8) @@
|
| 219 |
|
* Determine if the browser is Opera Mobile or not |
| 220 |
|
* @return boolean Whether or not this is Opera Mobile |
| 221 |
|
*/ |
| 222 |
|
function isOperaMobi() |
| 223 |
|
{ |
| 224 |
|
if (!isset($this->_browsers['is_opera_mobi'])) |
| 225 |
|
$this->_browsers['is_opera_mobi'] = stripos($_SERVER['HTTP_USER_AGENT'], 'opera mobi') !== false; |
| 226 |
|
if ($this->_browsers['is_opera_mobi']) |
| 227 |
|
$this->_is_mobile = true; |
| 228 |
|
return $this->_browsers['is_opera_mini']; |
| 229 |
|
} |
| 230 |
|
|
| 231 |
|
/** |
| 232 |
|
* Detect Safari / Chrome / iP[ao]d / iPhone / Android / Blackberry from webkit. |