WordPress.org

Make WordPress Core

Ticket #15319: browser_v3.patch

File browser_v3.patch, 1.9 KB (added by pross, 8 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/**