jenkins-bot has submitted this change and it was merged. (
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(-)
Approvals:
jenkins-bot: Verified
Thiemo Kreuz (WMDE): Looks good to me, approved
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: merged
Gerrit-Change-Id: I70a20d35222cb0571e8b401c8b4e031d0be25d6b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: MaxSem <maxsem.w...@gmail.com>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: Thiemo Kreuz (WMDE) <thiemo.kr...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
