wikimedia/mediawiki-extensions-Nuke
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Nuke synced 2024-11-14 19:31:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix case in use statement

Browse source 
Bug: T336083
Change-Id: Icda9d979d9fb97cbd832d53fa8c5bb6847aaa63b
This commit is contained in:
Alexander Vorwerk 2023-05-05 22:23:03 +02:00
parent db98293f8f
commit 0b5bb5ccd7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/SpecialNuke.php
View file

@ -9,7 +9,7 @@ use HTMLForm;
use JobQueueGroup;
use ListToggle;
use MediaWiki\Extension\Nuke\Hooks\NukeHookRunner;
use Mediawiki\Page\File\FileDeleteForm;
use MediaWiki\Page\File\FileDeleteForm;
use MediaWiki\Permissions\PermissionManager;
use MediaWiki\User\UserFactory;
use MediaWiki\User\UserNamePrefixSearch;