Move User::getAllRights to PermissionManager.
authorPetr Pchelko <ppchelko@wikimedia.org>
Wed, 28 Aug 2019 17:31:34 +0000 (10:31 -0700)
committerdaniel <dkinzler@wikimedia.org>
Thu, 29 Aug 2019 13:38:26 +0000 (15:38 +0200)
commit49e2aec53ac9d0015dbfc6d14f0787c4e72a3605
tree647bd136afe4e1dd763dc3eb402d6c7ae01963ce
parenteb4ac89d6690ed4504206de5678a9a50e5edaadf
Move User::getAllRights to PermissionManager.

Bug: T220191
Change-Id: I7f4bf7f6a85b01ffd7f9ea3991597f1bd40ab1f6
includes/api/ApiQueryAllUsers.php
includes/api/ApiQueryContributors.php
includes/user/User.php
tests/phpunit/includes/Permissions/PermissionManagerTest.php
tests/phpunit/structure/AvailableRightsTest.php