@@ 698-711 (lines=14) @@ | ||
695 | * |
|
696 | * Mozilla/5.0 (Mobile; rv:14.0) Gecko/14.0 Firefox/14.0 |
|
697 | */ |
|
698 | public static function is_firefox_os() { |
|
699 | ||
700 | if ( empty( $_SERVER['HTTP_USER_AGENT'] ) ) { |
|
701 | return false; |
|
702 | } |
|
703 | ||
704 | $ua = strtolower( $_SERVER['HTTP_USER_AGENT'] ); |
|
705 | ||
706 | if ( strpos( $ua, 'mozilla' ) !== false && strpos( $ua, 'mobile' ) !== false && strpos( $ua, 'gecko' ) !== false && strpos( $ua, 'firefox' ) !== false ) { |
|
707 | return true; |
|
708 | } else { |
|
709 | return false; |
|
710 | } |
|
711 | } |
|
712 | ||
713 | /** |
|
714 | * Detects if the current browser is Opera Mobile |
|
@@ 725-739 (lines=15) @@ | ||
722 | * Opera/9.80 (Windows NT 6.1; Opera Mobi/14316; U; en) Presto/2.7.81 Version/11.00" |
|
723 | * Opera/9.50 (Nintendo DSi; Opera/507; U; en-US) |
|
724 | */ |
|
725 | public static function is_opera_mobile() { |
|
726 | if ( empty( $_SERVER['HTTP_USER_AGENT'] ) ) { |
|
727 | return false; |
|
728 | } |
|
729 | ||
730 | $ua = strtolower( $_SERVER['HTTP_USER_AGENT'] ); |
|
731 | ||
732 | if ( strpos( $ua, 'opera' ) !== false && strpos( $ua, 'mobi' ) !== false ) { |
|
733 | return true; |
|
734 | } elseif ( strpos( $ua, 'opera' ) !== false && strpos( $ua, 'nintendo dsi' ) !== false ) { |
|
735 | return true; |
|
736 | } else { |
|
737 | return false; |
|
738 | } |
|
739 | } |
|
740 | ||
741 | ||
742 | /** |