Merge "Replace User::isAllowed with PermissionManager."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 21 Aug 2019 08:00:33 +0000 (08:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 21 Aug 2019 08:00:33 +0000 (08:00 +0000)
commit36fdf484e98446ddbf4ea7ec6a5f9939c37e14c5
treeeb5f01238e13e4d4220f0a83ce9f3fa57c7302e7
parent434c154e67b1b2962f90fa1970645135f825632e
parent1d286560d2cd4f2adf6138f62a8dfcfad5991c14
Merge "Replace User::isAllowed with PermissionManager."
includes/MovePage.php
includes/ServiceWiring.php
includes/Title.php
includes/api/ApiMove.php
includes/block/BlockManager.php
tests/phpunit/includes/block/BlockManagerTest.php