diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2020-12-04 20:35:09 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2020-12-04 20:35:09 +0000 |
| commit | d321ccefad5a0817ae5a0ecd47275bde08335ec1 (patch) | |
| tree | fa862bb358b50e833eb6d9b0505a4f7d03733df6 /includes/title/NamespaceInfo.php | |
| parent | 674c90a8115fdbda8ad8a5db353f55944d02b137 (diff) | |
| parent | 6c8ff681c4c68416dafe79581ccd90ee6fbc48ae (diff) | |
| download | mediawikicore-d321ccefad5a0817ae5a0ecd47275bde08335ec1.tar.gz mediawikicore-d321ccefad5a0817ae5a0ecd47275bde08335ec1.zip | |
Merge "PageRestriction: Fix return type doc"
Diffstat (limited to 'includes/title/NamespaceInfo.php')
0 files changed, 0 insertions, 0 deletions