From b55b6a03f455e62bd8253d87d1ab6338842c6ff3 Mon Sep 17 00:00:00 2001
From: Scott Taylor <scott.c.taylor@mac.com>
Date: Mon, 22 Aug 2016 22:15:29 +0000
Subject: [PATCH] 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 | 8 +-------
 wp-includes/version.php       | 2 +-
 2 files changed, 2 insertions(+), 8 deletions(-)

diff --git a/wp-includes/class-wp-user.php b/wp-includes/class-wp-user.php
index f4896a7617..bcb82eb3e6 100644
--- a/wp-includes/class-wp-user.php
+++ b/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.
 	 *
diff --git a/wp-includes/version.php b/wp-includes/version.php
index ae0d8a1239..74c0ffa51b 100644
--- a/wp-includes/version.php
+++ b/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.