WordPress.org

Make WordPress Core

Ticket #20014: 20014.2.diff

File 20014.2.diff, 1.5 KB (added by nacin, 23 months ago)
  • wp-includes/vars.php

     
    113113                $is_mobile = false; 
    114114        } elseif ( strpos($_SERVER['HTTP_USER_AGENT'], 'Mobile') !== false // many mobile devices (all iPhone, iPad, etc.) 
    115115                || strpos($_SERVER['HTTP_USER_AGENT'], 'Android') !== false 
     116                || strpos($_SERVER['HTTP_USER_AGENT'], 'Silk/') !== false 
     117                || strpos($_SERVER['HTTP_USER_AGENT'], 'Kindle') !== false 
    116118                || strpos($_SERVER['HTTP_USER_AGENT'], 'BlackBerry') !== false 
    117119                || strpos($_SERVER['HTTP_USER_AGENT'], 'Opera Mini') !== false ) { 
    118120                        $is_mobile = true; 
  • wp-includes/general-template.php

     
    17531753 
    17541754                if ( get_user_option( 'rich_editing' ) == 'true' || ! is_user_logged_in() ) { // default to 'true' for logged out users 
    17551755                        if ( $is_safari ) { 
    1756                                 if ( wp_is_mobile() || false !== strpos( $_SERVER['HTTP_USER_AGENT'], '; Silk/' ) ) 
    1757                                         $wp_rich_edit = ( preg_match( '!AppleWebKit/(\d+)!', $_SERVER['HTTP_USER_AGENT'], $match ) && intval( $match[1] ) >= 534 ); 
    1758                                 else 
    1759                                         $wp_rich_edit = true; 
     1756                                $wp_rich_edit = ! wp_is_mobile() || ( preg_match( '!AppleWebKit/(\d+)!', $_SERVER['HTTP_USER_AGENT'], $match ) && intval( $match[1] ) >= 534 ); 
    17601757                        } elseif ( $is_gecko || $is_opera || $is_chrome || $is_IE ) { 
    17611758                                $wp_rich_edit = true; 
    17621759                        }