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

Use namespaced HTMLForm class

Browse source 
Change-Id: Ifeac10c6d07d492e42a5a20fbc3b93a396329650
This commit is contained in:
Umherirrender 2024-06-09 18:58:16 +02:00
parent d77264eea8
commit faea05e4d1
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

@ -3,13 +3,13 @@
namespace MediaWiki\Extension\Nuke;
use DeletePageJob;
use HTMLForm;
use JobQueueGroup;
use Language;
use MediaWiki\CommentStore\CommentStore;
use MediaWiki\Extension\Nuke\Hooks\NukeHookRunner;
use MediaWiki\Html\Html;
use MediaWiki\Html\ListToggle;
use MediaWiki\HTMLForm\HTMLForm;
use MediaWiki\Page\File\FileDeleteForm;
use MediaWiki\Permissions\PermissionManager;
use MediaWiki\Request\WebRequest;