Changeset 2789

Show
Ignore:
Timestamp:
08/18/05 01:51:59 (3 years ago)
Author:
matt
Message:

Clap on Clap off

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • trunk/wp-admin/admin-header.php

    r2788 r2789  
    7878<script type="text/javascript" src="fat.js"></script> 
    7979<?php if ( isset( $editing ) ) : ?> 
    80 <?php if ( get_option('rich_editing') ) :?> 
     80<?php if ( 'true' == get_user_option('rich_editing') ) :?> 
    8181<script type="text/javascript" src="tinymce/tiny_mce_src.js"></script> 
    8282<script type="text/javascript"> 

  • trunk/wp-admin/edit-form-advanced.php

    r2776 r2789  
    131131<fieldset id="postdiv"> 
    132132<legend><?php _e('Post') ?></legend> 
    133 <?php if ( !get_option('rich_editing') ) : ?> 
     133<?php if ( 'true' != get_user_option('rich_editing') ) : ?> 
    134134<?php the_quicktags(); ?> 
    135135<script type="text/javascript"> 

  • trunk/wp-admin/edit-form-comment.php

    r2762 r2789  
    3838<fieldset style="clear: both;"> 
    3939        <legend><?php _e('Comment') ?></legend> 
    40 <?php if ( !get_option('rich_editing') ) : ?> 
     40<?php if ( 'true' != get_user_option('rich_editing') ) : ?> 
    4141<?php the_quicktags(); ?> 
    4242<script type="text/javascript"> 

  • trunk/wp-admin/edit-page-form.php

    r2762 r2789  
    118118<fieldset id="postdiv"> 
    119119    <legend><?php _e('Page Content') ?></legend> 
    120 <?php if ( !get_option('rich_editing') ) : ?> 
     120<?php if ( 'true' != get_user_option('rich_editing') ) : ?> 
    121121<?php the_quicktags(); ?> 
    122122<script type="text/javascript">