diff options
Diffstat (limited to 'wp-inst/wp-admin/admin-header.php')
| -rw-r--r-- | wp-inst/wp-admin/admin-header.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/wp-inst/wp-admin/admin-header.php b/wp-inst/wp-admin/admin-header.php index e3bed3c..7d0e915 100644 --- a/wp-inst/wp-admin/admin-header.php +++ b/wp-inst/wp-admin/admin-header.php @@ -77,7 +77,7 @@ addLoadEvent(blurry); </script> <script type="text/javascript" src="fat.js"></script> <?php if ( isset( $editing ) ) : ?> -<?php if ( get_option('rich_editing') ) :?> +<?php if ( get_user_option('rich_editing') == 'true' ) :?> <script type="text/javascript" src="tinymce/tiny_mce_src.js"></script> <script type="text/javascript"> tinyMCE.init({ |