wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-23 14:26:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced Maintenance class

Browse source 
Change-Id: I6b5f6137febc524ac77aa8939267470f2da7faa2
This commit is contained in:
Umherirrender 2024-10-20 11:32:06 +02:00
parent 39766df63d
commit bcc51d7859
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
maintenance/replaceAll.php
View file

@ -29,7 +29,7 @@
*/
namespace MediaWiki\Extension\ReplaceText;
use Maintenance;
use MediaWiki\Maintenance\Maintenance;
use MediaWiki\User\User;
use MWException;