|
@@ 134-135 (lines=2) @@
|
| 131 |
|
{ |
| 132 |
|
// IE11 is a bit different than earlier versions |
| 133 |
|
// The isGecko() part is to ensure we get this right... |
| 134 |
|
if (!isset($this->_browsers['is_ie11'])) |
| 135 |
|
$this->_browsers['is_ie11'] = strpos($_SERVER['HTTP_USER_AGENT'], 'Trident') !== false && $this->isGecko(); |
| 136 |
|
return $this->_browsers['is_ie11']; |
| 137 |
|
} |
| 138 |
|
|
|
@@ 167-168 (lines=2) @@
|
| 164 |
|
*/ |
| 165 |
|
function isFirefox() |
| 166 |
|
{ |
| 167 |
|
if (!isset($this->_browsers['is_firefox'])) |
| 168 |
|
$this->_browsers['is_firefox'] = preg_match('~(?:Firefox|Ice[wW]easel|IceCat|Shiretoko|Minefield)/~', $_SERVER['HTTP_USER_AGENT']) === 1 && $this->isGecko(); |
| 169 |
|
return $this->_browsers['is_firefox']; |
| 170 |
|
} |
| 171 |
|
|