MaxSem has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/405382 )
Change subject: Remove User::$mGroups ...................................................................... Remove User::$mGroups Deprecated and unused. Private so nothing can possibly use it. Change-Id: I70a20d35222cb0571e8b401c8b4e031d0be25d6b --- M includes/user/User.php 1 file changed, 0 insertions(+), 5 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/82/405382/1 diff --git a/includes/user/User.php b/includes/user/User.php index 7684d2e..709bac7 100644 --- a/includes/user/User.php +++ b/includes/user/User.php @@ -228,11 +228,6 @@ 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 */ -- To view, visit https://gerrit.wikimedia.org/r/405382 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I70a20d35222cb0571e8b401c8b4e031d0be25d6b Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: MaxSem <maxsem.w...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits