diff options
author | James D. Forrester <jforrester@wikimedia.org> | 2023-09-18 15:17:28 +0100 |
---|---|---|
committer | DannyS712 <dannys712.wiki@gmail.com> | 2023-09-19 05:17:04 +0000 |
commit | a8a6cfd9666be400369121f11a6e71dcb5323877 (patch) | |
tree | 9ad6712bdd1383314ca0a80d6a4d0edf350b11f6 /includes/title/TitleFormatter.php | |
parent | 30f54f632251b153729f4cbb373bc2918f263443 (diff) | |
download | mediawikicore-a8a6cfd9666be400369121f11a6e71dcb5323877.tar.gz mediawikicore-a8a6cfd9666be400369121f11a6e71dcb5323877.zip |
Namespace NamespaceInfo under \MediaWiki\Title
One of the big ones, so doing this alone.
Bug: T166010
Change-Id: Ibe103cd362535d3cb94cb8931e95fc74099d1497
Diffstat (limited to 'includes/title/TitleFormatter.php')
0 files changed, 0 insertions, 0 deletions