Changeset 20990
- Timestamp:
- 06/04/2012 04:04:54 PM (13 years ago)
- Location:
- trunk/wp-includes
- Files:
-
- 2 edited
-
general-template.php (modified) (1 diff)
-
vars.php (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/wp-includes/general-template.php
r20419 r20990 1754 1754 if ( get_user_option( 'rich_editing' ) == 'true' || ! is_user_logged_in() ) { // default to 'true' for logged out users 1755 1755 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 ); 1760 1757 } elseif ( $is_gecko || $is_opera || $is_chrome || $is_IE ) { 1761 1758 $wp_rich_edit = true; -
trunk/wp-includes/vars.php
r20417 r20990 114 114 } elseif ( strpos($_SERVER['HTTP_USER_AGENT'], 'Mobile') !== false // many mobile devices (all iPhone, iPad, etc.) 115 115 || strpos($_SERVER['HTTP_USER_AGENT'], 'Android') !== false 116 || strpos($_SERVER['HTTP_USER_AGENT'], 'Silk/') !== false 117 || strpos($_SERVER['HTTP_USER_AGENT'], 'Kindle') !== false 116 118 || strpos($_SERVER['HTTP_USER_AGENT'], 'BlackBerry') !== false 117 119 || strpos($_SERVER['HTTP_USER_AGENT'], 'Opera Mini') !== false ) {
Note: See TracChangeset
for help on using the changeset viewer.