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