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/specials/SpecialPurge.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/specials/SpecialPurge.php')
| -rw-r--r-- | includes/specials/SpecialPurge.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/specials/SpecialPurge.php b/includes/specials/SpecialPurge.php index 74deb1540d33..a2519d228fc3 100644 --- a/includes/specials/SpecialPurge.php +++ b/includes/specials/SpecialPurge.php @@ -24,8 +24,8 @@ namespace MediaWiki\Specials; +use MediaWiki\SpecialPage\SpecialRedirectWithAction; use SearchEngineFactory; -use SpecialRedirectWithAction; class SpecialPurge extends SpecialRedirectWithAction { |