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/api/ApiPageSet.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/api/ApiPageSet.php')
| -rw-r--r-- | includes/api/ApiPageSet.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/api/ApiPageSet.php b/includes/api/ApiPageSet.php index db6649c81821..3169f7cdac8c 100644 --- a/includes/api/ApiPageSet.php +++ b/includes/api/ApiPageSet.php @@ -31,6 +31,7 @@ use MediaWiki\Page\WikiPageFactory; use MediaWiki\Request\FauxRequest; use MediaWiki\SpecialPage\RedirectSpecialArticle; use MediaWiki\SpecialPage\SpecialPageFactory; +use MediaWiki\Title\NamespaceInfo; use MediaWiki\Title\Title; use MediaWiki\Title\TitleFactory; use Wikimedia\ParamValidator\ParamValidator; |