Merge "Move User::getAllRights to PermissionManager."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 29 Aug 2019 21:00:23 +0000 (21:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 29 Aug 2019 21:00:23 +0000 (21:00 +0000)
commit296e3d4f98d9d277569bd1838ce56799158965c5
treed8c2fc19a960f745b6e14c3e2626e61c50d732b8
parentf27e3bd8a6a7efe6668a12ac34eb1f09befa4d27
parent49e2aec53ac9d0015dbfc6d14f0787c4e72a3605
Merge "Move User::getAllRights to PermissionManager."
tests/phpunit/includes/Permissions/PermissionManagerTest.php