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

See #37771.

Built from https://develop.svn.wordpress.org/trunk@38319


git-svn-id: http://core.svn.wordpress.org/trunk@38260 1a063a9b-81f0-0310-95a4-ce76da25c4cd

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.
 	 *

wp-includes/version.php

@@ -4,7 +4,7 @@
  *
  * @global string $wp_version
  */
-$wp_version = '4.7-alpha-38318';
+$wp_version = '4.7-alpha-38319';
 
 /**
  * Holds the WordPress DB revision, increments when changes are made to the WordPress DB schema.