Ticket #16181: 16181-hide-personal-options.patch

wp-admin/user-edit.php

@@ -191 +191 @@
 <input type="hidden" name="checkuser_id" value="<?php echo $user_ID ?>" />
 </p>
 
-<h3><?php _e('Personal Options'); ?></h3>
+<h3 class="personal-options"><?php _e('Personal Options'); ?></h3>
 
-<table class="form-table">
+<table class="form-table personal-options">
 <?php if ( rich_edit_exists() && !( IS_PROFILE_PAGE && !$user_can_edit ) ) : // don't bother showing the option if the editor has been removed ?>
         <tr>
                 <th scope="row"><?php _e('Visual Editor')?></th>