@@ 716-726 (lines=11) @@ | ||
713 | * |
|
714 | * Looking for "OPR/" specifically. |
|
715 | */ |
|
716 | public static function is_opera_desktop() { |
|
717 | if ( empty( $_SERVER['HTTP_USER_AGENT'] ) ) { |
|
718 | return false; |
|
719 | } |
|
720 | ||
721 | if ( false === strpos( $_SERVER['HTTP_USER_AGENT'], 'OPR/' ) ) { |
|
722 | return false; |
|
723 | } |
|
724 | ||
725 | return true; |
|
726 | } |
|
727 | ||
728 | /** |
|
729 | * Detects if the current browser is Opera Mobile |
|
@@ 856-867 (lines=12) @@ | ||
853 | * Detects if the current browser is a Windows Phone 8 device. |
|
854 | * ex: Mozilla/5.0 (compatible; MSIE 10.0; Windows Phone 8.0; Trident/6.0; ARM; Touch; IEMobile/10.0; <Manufacturer>; <Device> [;<Operator>]) |
|
855 | */ |
|
856 | public static function is_windows_phone_8() { |
|
857 | if ( empty( $_SERVER['HTTP_USER_AGENT'] ) ) { |
|
858 | return false; |
|
859 | } |
|
860 | ||
861 | $ua = strtolower( $_SERVER['HTTP_USER_AGENT'] ); |
|
862 | if ( strpos( $ua, 'windows phone 8' ) === false ) { |
|
863 | return false; |
|
864 | } else { |
|
865 | return true; |
|
866 | } |
|
867 | } |
|
868 | ||
869 | /** |
|
870 | * Detects if the current browser is on a Palm device running the new WebOS. This EXCLUDES TouchPad. |
|
@@ 1489-1499 (lines=11) @@ | ||
1486 | * Example: Mozilla/5.0 (Nintendo 3DS; U; ; en) Version/1.7498.US |
|
1487 | * can differ in language, version and region |
|
1488 | */ |
|
1489 | public static function is_Nintendo_3DS() { |
|
1490 | if ( empty( $_SERVER['HTTP_USER_AGENT'] ) ) { |
|
1491 | return false; |
|
1492 | } |
|
1493 | ||
1494 | $ua = strtolower( $_SERVER['HTTP_USER_AGENT'] ); |
|
1495 | if ( strpos( $ua, 'nintendo 3ds' ) !== false ) { |
|
1496 | return true; |
|
1497 | } |
|
1498 | return false; |
|
1499 | } |
|
1500 | ||
1501 | /** |
|
1502 | * Was the current request made by a known bot? |