Merge "Remove User::$mGroups"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 20 Jan 2018 12:14:21 +0000 (12:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 20 Jan 2018 12:14:21 +0000 (12:14 +0000)
includes/user/User.php

index 7684d2e..709bac7 100644 (file)
@@ -228,11 +228,6 @@ class User implements IDBAccessObject, UserIdentity {
        protected $mRegistration;
        /** @var int */
        protected $mEditCount;
-       /**
-        * @var array No longer used since 1.29; use User::getGroups() instead
-        * @deprecated since 1.29
-        */
-       private $mGroups;
        /** @var UserGroupMembership[] Associative array of (group name => UserGroupMembership object) */
        protected $mGroupMemberships;
        /** @var array */