Merge "Drop UserGetImplictGroups, deprecated since 1.25"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Oct 2018 19:41:13 +0000 (19:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Oct 2018 19:41:13 +0000 (19:41 +0000)
commit0ecfa4b91961269e33c085bc5d88eb8850439d40
treeb822b349167aab41e2ce70d6bd3f114a0c8f61dc
parent17df3da8209f60a7e5c82dd6504c5f9d564089a9
parente888061ca91fbc414fa29c75d224276e16bedd45
Merge "Drop UserGetImplictGroups, deprecated since 1.25"
RELEASE-NOTES-1.32
includes/user/User.php