Merge "Convert PermissionManager constructor to use ServiceOptions."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 21 Aug 2019 18:14:12 +0000 (18:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 21 Aug 2019 18:14:12 +0000 (18:14 +0000)
commit36a00f6d194e7bd5f622f51f497d323f14426353
tree3ae553ef806660ddf3b7993b79a04e1eac22afc6
parent7a5508573a3d619c32c5964744d57d004653397f
parent6dd64b7b9b602e4cfe5360d8d9997070cd890fe5
Merge "Convert PermissionManager constructor to use ServiceOptions."
includes/Permissions/PermissionManager.php
includes/ServiceWiring.php