WordPress.org

Make WordPress Core

Ticket #21416: 21416.patch

File 21416.patch, 893 bytes (added by azaozz, 21 months 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_opera || $is_chrome || $is_IE ) { 
     1757                        } elseif ( $is_gecko || $is_chrome || $is_IE ) { 
    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; 
    17591762                        } 
    17601763                } 
    17611764        }