Ticket #8433: user-edit.diff

wp-admin/user-edit.php

@@ -39 +39 @@
         wp_die( __('Invalid user ID.') );
 }
 
-$all_post_types = apply_filters('all_post_types', array('post', 'page'));
+$all_post_types = apply_filters('all_post_types', array('posts', 'pages'));
 $user_can_edit = false;
 foreach ( $all_post_types as $post_type )
         $user_can_edit |= current_user_can("edit_$post_type");