Changeset 38319

Timestamp:

08/22/2016 10:14:03 PM (8 years ago)

Author:

wonderboymusic

Message:

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

See #37771.

File:

• trunk/src/wp-includes/class-wp-user.php (modified) (2 diffs)

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

@@ -28 +28 @@
  * @property string $user_activation_key
  * @property string $user_status
+ * @property int    $user_level
  * @property string $display_name
  * @property string $spam
@@ -85 +86 @@
      */
     public $allcaps = array();
-
-    /**
-     * @since 2.0.0
-     * @access public
-     * @var int
-     */
-    public $user_level = 0;
 
     /**