diff options
| author | Petr Pchelko <ppchelko@wikimedia.org> | 2019-08-21 12:49:59 -0700 |
|---|---|---|
| committer | Petr Pchelko <ppchelko@wikimedia.org> | 2019-08-22 14:32:38 -0700 |
| commit | 3cc3d00bcc94337e946c54ea19b66d6a6c63ed83 (patch) | |
| tree | 06a8bea9dc79efc087ea6ed265700de2b20864f4 /includes/OutputPage.php | |
| parent | afb7212d218875c72ff21ef3e253fb265aab7b19 (diff) | |
| download | mediawikicore-3cc3d00bcc94337e946c54ea19b66d6a6c63ed83.tar.gz mediawikicore-3cc3d00bcc94337e946c54ea19b66d6a6c63ed83.zip | |
Move getRestrictionLevels from NamespaceInfo to PermissionManager.
Bug: T11977
Change-Id: I051be9148c98086fdf53a66a74bf7c28699016db
Diffstat (limited to 'includes/OutputPage.php')
0 files changed, 0 insertions, 0 deletions