rich_editing checkbox forgotten on /wp-admin/user-edit.php

[kipit]

This page should be very similar with /wp-admin/profile.php, but the rich_editing setting was forgotten. When an admin "edit a user", this setting fallback to false. The following code should be added to /wp-admin/user-edit.php around line 85 :

<h3><?php _e('Personal Options'); ?></h3>

<p><label for="rich_editing"><input name="rich_editing" type="checkbox" id="rich_editing" value="true" <?php checked('true', $profileuser->rich_editing); ?> />
<?php _e('Use the visual editor when writing') ?></label></p>

<p class="submit"><input type="submit" value="<?php _e('Update User &raquo;') ?>" name="submit" /></p>

Maybe we should make something to getting something similar to <?php do_action('profile_personal_options'); ?> in the /wp-admin/user-edit.php page.

WPmu r5116

Oups, I wanted to say :
WP r5116 and not WPmu r5116 (ticket backport from WPmu trac ;-))

kipit, thank you! I experienced this bug, but never tracked down the reproduction steps. I have also seen this in a demo, so it is easy for a person to do a new installation and never discover the Visual editor.

If the setting is being lost, let's patch it up.

Righto.

(In [5125]) Add rich editing checkbox to user-edit so that the setting isn't stomped. Props kipit. fixes #4036