WordPress.org

Make WordPress Core

Ticket #15319: browser_v3.patch

File browser_v3.patch, 1.9 KB (added by pross, 5 years ago)

removes $is_macIE from deprecated.php too

  • wp-includes/deprecated.php

     
    24812481 * Converts unicode characters to HTML numbered entities. 
    24822482 * 
    24832483 * @since 1.5.0 
    2484  * @uses $is_macIE 
    24852484 * @uses $is_winIE 
    24862485 * @deprecated 3.0.0 
    24872486 * 
     
    24912490function funky_javascript_fix($text) { 
    24922491        _deprecated_function( __FUNCTION__, '3.0' ); 
    24932492        // Fixes for browsers' javascript bugs 
    2494         global $is_macIE, $is_winIE; 
     2493        global $is_winIE; 
    24952494 
    2496         if ( $is_winIE || $is_macIE ) 
     2495        if ( $is_winIE ) 
    24972496                $text =  preg_replace_callback("/\%u([0-9A-F]{4,4})/", 
    24982497                                        "funky_javascript_callback", 
    24992498                                        $text); 
    2500  
    25012499        return $text; 
    25022500} 
    25032501 
  • wp-includes/vars.php

     
    5252                $is_safari = true; 
    5353        } elseif ( strpos($_SERVER['HTTP_USER_AGENT'], 'Gecko') !== false ) { 
    5454                $is_gecko = true; 
    55         } elseif ( strpos($_SERVER['HTTP_USER_AGENT'], 'MSIE') !== false && strpos($_SERVER['HTTP_USER_AGENT'], 'Win') !== false ) { 
    56                 $is_winIE = true; 
    57         } elseif ( strpos($_SERVER['HTTP_USER_AGENT'], 'MSIE') !== false && strpos($_SERVER['HTTP_USER_AGENT'], 'Mac') !== false ) { 
    58                 $is_macIE = true; 
     55        } elseif ( ( $msie = strpos($_SERVER['HTTP_USER_AGENT'], 'MSIE') ) && strpos($_SERVER['HTTP_USER_AGENT'], 'Win') !== false ) { 
     56                $is_IE = substr($_SERVER['HTTP_USER_AGENT'], $msie + 5, 3); 
    5957        } elseif ( strpos($_SERVER['HTTP_USER_AGENT'], 'Opera') !== false ) { 
    6058                $is_opera = true; 
    61         } elseif ( strpos($_SERVER['HTTP_USER_AGENT'], 'Nav') !== false && strpos($_SERVER['HTTP_USER_AGENT'], 'Mozilla/4.') !== false ) { 
    62                 $is_NS4 = true; 
    6359        } 
    6460} 
    6561 
    6662if ( $is_safari && stripos($_SERVER['HTTP_USER_AGENT'], 'mobile') !== false ) 
    6763        $is_iphone = true; 
    6864 
    69 $is_IE = ( $is_macIE || $is_winIE ); 
    70  
    7165// Server detection 
    7266 
    7367/**