diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-08-23 11:27:45 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-08-23 11:27:45 +0000 |
| commit | 8390e37efc4b42a1ba3d3102bd78208a30cfccf2 (patch) | |
| tree | bbf2fe6d7b2a2041a2d19e9df9a848c34c0e5706 /includes/OutputPage.php | |
| parent | 8d27bc18ec707dbb4bb13eedd81b1f50c06ff4cb (diff) | |
| parent | 3cc3d00bcc94337e946c54ea19b66d6a6c63ed83 (diff) | |
| download | mediawikicore-8390e37efc4b42a1ba3d3102bd78208a30cfccf2.tar.gz mediawikicore-8390e37efc4b42a1ba3d3102bd78208a30cfccf2.zip | |
Merge "Move getRestrictionLevels from NamespaceInfo to PermissionManager."
Diffstat (limited to 'includes/OutputPage.php')
0 files changed, 0 insertions, 0 deletions