WordPress.org

Make WordPress Core

Ticket #21416: 21416-2.patch

File 21416-2.patch, 1.5 KB (added by azaozz, 6 years ago)
  • wp-includes/general-template.php

     
    17541754                if ( get_user_option( 'rich_editing' ) == 'true' || ! is_user_logged_in() ) { // default to 'true' for logged out users
    17551755                        if ( $is_safari ) {
    17561756                                $wp_rich_edit = ! wp_is_mobile() || ( preg_match( '!AppleWebKit/(\d+)!', $_SERVER['HTTP_USER_AGENT'], $match ) && intval( $match[1] ) >= 534 );
    1757                         } elseif ( $is_gecko || $is_chrome || $is_IE ) {
     1757                        } elseif ( $is_gecko || $is_chrome || $is_IE || ( $is_opera && !wp_is_mobile() ) ) {
    17581758                                $wp_rich_edit = true;
    1759                         } elseif ( $is_opera ) {
    1760                                 if ( strpos($_SERVER['HTTP_USER_AGENT'], 'Opera Mobi/') === false && strpos($_SERVER['HTTP_USER_AGENT'], 'Opera Mini/') === false )
    1761                                         $wp_rich_edit = true;
    17621759                        }
    17631760                }
    17641761        }
  • wp-includes/vars.php

     
    116116                || strpos($_SERVER['HTTP_USER_AGENT'], 'Silk/') !== false
    117117                || strpos($_SERVER['HTTP_USER_AGENT'], 'Kindle') !== false
    118118                || strpos($_SERVER['HTTP_USER_AGENT'], 'BlackBerry') !== false
    119                 || strpos($_SERVER['HTTP_USER_AGENT'], 'Opera Mini') !== false ) {
     119                || strpos($_SERVER['HTTP_USER_AGENT'], 'Opera Mini') !== false
     120                || strpos($_SERVER['HTTP_USER_AGENT'], 'Opera Mobi') !== false ) {
    120121                        $is_mobile = true;
    121122        } else {
    122123                $is_mobile = false;