[wp-trac] [WordPress Trac] #17328: In User Profile, Undefined property: WP_User::$rich_editing line 189 user-edit

[WordPress Trac]

#17328: In User Profile, Undefined property: WP_User::$rich_editing line 189 user-
edit
--------------------------+-----------------------
 Reporter:  anmari        |       Owner:
     Type:  defect (bug)  |      Status:  reopened
 Priority:  normal        |   Milestone:
Component:  General       |     Version:  3.2
 Severity:  normal        |  Resolution:
 Keywords:                |
--------------------------+-----------------------

Comment (by nacin):

 The rich_editing meta key probably doesn't exist for the user. Not sure
 it's a bug as I don't think you can create a user without that any longer.

 There's an empty() check on comment_shortcuts. Can probably tack that onto
 rich_editing as well for sanity reasons.

-- 
Ticket URL: <http://core.trac.wordpress.org/ticket/17328#comment:3>
WordPress Trac <http://core.trac.wordpress.org/>
WordPress blogging software