Users: after [38317], use a @property annotation, instead of a public field.

See #37771.


git-svn-id: https://develop.svn.wordpress.org/trunk@38319 602fd350-edb4-49c9-b593-d223f7449a82

src/wp-includes/class-wp-user.php

@@ -27,6 +27,7 @@
  * @property string $user_registered
  * @property string $user_activation_key
  * @property string $user_status
+ * @property int    $user_level
  * @property string $display_name
  * @property string $spam
  * @property string $deleted
@@ -85,13 +86,6 @@ class WP_User {
 	 */
 	public $allcaps = array();
 
-	/**
-	 * @since 2.0.0
-	 * @access public
-	 * @var int
-	 */
-	public $user_level = 0;
-
 	/**
 	 * The filter context applied to user data fields.
 	 *