|  | @@ 645-656 (lines=12) @@ | 
                                                            
                                    | 642 |  | 	* Mozilla/5.0 (Mobile; rv:14.0) Gecko/14.0 Firefox/14.0 | 
                                                            
                                    | 643 |  | 	* | 
                                                            
                                    | 644 |  | 	*/ | 
                                                            
                                    | 645 |  | 	static function is_firefox_os( ) { | 
                                                            
                                    | 646 |  |  | 
                                                            
                                    | 647 |  | 		if ( empty( $_SERVER['HTTP_USER_AGENT'] ) ) | 
                                                            
                                    | 648 |  | 			return false; | 
                                                            
                                    | 649 |  |  | 
                                                            
                                    | 650 |  | 		$ua = strtolower( $_SERVER['HTTP_USER_AGENT'] ); | 
                                                            
                                    | 651 |  |  | 
                                                            
                                    | 652 |  | 		if ( strpos( $ua, 'mozilla' ) !== false && strpos( $ua, 'mobile' ) !== false && strpos( $ua, 'gecko' ) !== false && strpos( $ua, 'firefox' ) !== false) | 
                                                            
                                    | 653 |  | 			return true; | 
                                                            
                                    | 654 |  | 		else | 
                                                            
                                    | 655 |  | 			return false; | 
                                                            
                                    | 656 |  | 	} | 
                                                            
                                    | 657 |  |  | 
                                                            
                                    | 658 |  |  | 
                                                            
                                    | 659 |  | 	/* | 
                                                                                
                                |  | @@ 671-684 (lines=14) @@ | 
                                                            
                                    | 668 |  | 	 * Opera/9.80 (Windows NT 6.1; Opera Mobi/14316; U; en) Presto/2.7.81 Version/11.00" | 
                                                            
                                    | 669 |  | 	 * Opera/9.50 (Nintendo DSi; Opera/507; U; en-US) | 
                                                            
                                    | 670 |  | 	 */ | 
                                                            
                                    | 671 |  | 	static function is_opera_mobile( ) { | 
                                                            
                                    | 672 |  |  | 
                                                            
                                    | 673 |  | 		if ( empty( $_SERVER['HTTP_USER_AGENT'] ) ) | 
                                                            
                                    | 674 |  | 			return false; | 
                                                            
                                    | 675 |  |  | 
                                                            
                                    | 676 |  | 		$ua = strtolower( $_SERVER['HTTP_USER_AGENT'] ); | 
                                                            
                                    | 677 |  |  | 
                                                            
                                    | 678 |  | 		if ( strpos( $ua, 'opera' ) !== false && strpos( $ua, 'mobi' ) !== false ) | 
                                                            
                                    | 679 |  | 			return true; | 
                                                            
                                    | 680 |  | 		elseif ( strpos( $ua, 'opera' ) !== false && strpos( $ua, 'nintendo dsi' ) !== false ) | 
                                                            
                                    | 681 |  | 			return true; | 
                                                            
                                    | 682 |  | 		else | 
                                                            
                                    | 683 |  | 			return false; | 
                                                            
                                    | 684 |  | 	} | 
                                                            
                                    | 685 |  |  | 
                                                            
                                    | 686 |  |  | 
                                                            
                                    | 687 |  | 	/* |