Merge "Update PermissionManager to use NamespaceInfo"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Apr 2019 11:27:17 +0000 (11:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Apr 2019 11:27:17 +0000 (11:27 +0000)
commitaa11b52a8f9c985223a824b66c52f053aa2ed845
tree6348002bd4c2883aeabe221a6df4ba8cba9e5674
parenta2acc632dc62994870692df399f00824397c3607
parent1f7ab9c6d06857409d62f8284bb074d18118ea08
Merge "Update PermissionManager to use NamespaceInfo"
includes/ServiceWiring.php