Code Duplication    Length = 14-15 lines in 2 locations

packages/device-detection/src/class-user-agent-info.php 2 locations

@@ 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
	/**