- BD680733B9A2364A0CF4391C935F575CDF48C2F5A4DBDE611521B1928DF6A81F9575B0FB45828558540230DB415A24D5363E0902188B82B4AFF5D23A12B0C144
+ A324350A555E58F3B0AD3F90EB42221F7C16672925A02C1714573E2141CA4FA7FB36105906C98B1C60EBA1A3A9EAC655F5D841E361A81CFE17A29D4330CC0825
mp-wp/wp-admin/user-edit.php
(192 . 12)(192 . 6)
9694 <h3><?php _e('Personal Options'); ?></h3>
9695
9696 <table class="form-table">
9697 <?php if ( rich_edit_exists() ) : // don't bother showing the option if the editor has been removed ?>
9698 <tr>
9699 <th scope="row"><?php _e('Visual Editor')?></th>
9700 <td><label for="rich_editing"><input name="rich_editing" type="checkbox" id="rich_editing" value="false" <?php checked('false', $profileuser->rich_editing); ?> /> <?php _e('Disable the visual editor when writing'); ?></label></td>
9701 </tr>
9702 <?php endif; ?>
9703 <?php if (count($_wp_admin_css_colors) > 1 ) : ?>
9704 <tr>
9705 <th scope="row"><?php _e('Admin Color Scheme')?></th>