diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2023-09-15 10:32:18 +0100 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2023-09-18 18:23:13 +0100 |
| commit | 459cbb0494badd6630b0538d8f429f6728b305ec (patch) | |
| tree | 7231b1fa6b3da245fd5e33895d8e3cd06cebd956 /includes/api/ApiPageSet.php | |
| parent | 5088626212e13160bdef24a89e60640b1e71415a (diff) | |
| download | mediawikicore-459cbb0494badd6630b0538d8f429f6728b305ec.tar.gz mediawikicore-459cbb0494badd6630b0538d8f429f6728b305ec.zip | |
Namespace remaining 'specialpage' files under \MediaWiki\SpecialPage
SpecialPageFactory is already here, but none of the others were yet.
Bug: T166010
Change-Id: I9689bf0a1ab329625e23669b99f019b96295fffd
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 d52ea840c4f5..db6649c81821 100644 --- a/includes/api/ApiPageSet.php +++ b/includes/api/ApiPageSet.php @@ -29,6 +29,7 @@ use MediaWiki\Page\PageIdentity; use MediaWiki\Page\PageReference; use MediaWiki\Page\WikiPageFactory; use MediaWiki\Request\FauxRequest; +use MediaWiki\SpecialPage\RedirectSpecialArticle; use MediaWiki\SpecialPage\SpecialPageFactory; use MediaWiki\Title\Title; use MediaWiki\Title\TitleFactory; |