Changeset 5433
- Timestamp:
- 05/10/07 16:37:44 (2 years ago)
- Files:
-
- trunk/wp-includes/general-template.php (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/wp-includes/general-template.php
r5425 r5433 814 814 if ( get_user_option( 'rich_editing' ) == 'true' && 815 815 ( ( preg_match( '!AppleWebKit/(\d+)!', $_SERVER['HTTP_USER_AGENT'], $match ) && intval($match[1]) >= 420 ) || 816 !preg_match( ' opera[ /][2-8]|konqueror|safari!i', $_SERVER['HTTP_USER_AGENT'] ) ) ) {816 !preg_match( '!opera[ /][2-8]|konqueror|safari!i', $_SERVER['HTTP_USER_AGENT'] ) ) ) { 817 817 $wp_rich_edit = true; 818 818 } else {
