Merge "Introduce PermissionManager service"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 5 Apr 2019 16:45:32 +0000 (16:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 5 Apr 2019 16:45:32 +0000 (16:45 +0000)
commitb235c8be4ba75590871db5fe04c6a315d5008f9d
tree3d38812739671e4f41bac15a81560f42131c142c
parent1ae3ebe82482b9244d1d9078cc36702116133f84
parent8e1342ed470a08d6658e2483976dfdc8f4388ea5
Merge "Introduce PermissionManager service"
includes/ServiceWiring.php
includes/Title.php
includes/user/User.php