author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | |
Wed, 21 Aug 2019 18:14:12 +0000 (18:14 +0000) | ||
committer | Gerrit Code Review <gerrit@wikimedia.org> | |
Wed, 21 Aug 2019 18:14:12 +0000 (18:14 +0000) | ||
commit | 36a00f6d194e7bd5f622f51f497d323f14426353 | |
tree | 3ae553ef806660ddf3b7993b79a04e1eac22afc6 | tree | snapshot |
parent | 7a5508573a3d619c32c5964744d57d004653397f | commit | diff |
parent | 6dd64b7b9b602e4cfe5360d8d9997070cd890fe5 | commit | diff |
includes/Permissions/PermissionManager.php | diff1 | | diff2 | | blob | history |
includes/ServiceWiring.php | diff1 | | diff2 | | blob | history |