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

Update namespaces of PHP classes

Browse source 
Change-Id: If2c3d1299b740550b27e1152301b5c1e072e5bb2
This commit is contained in:
Fomafix 2024-08-27 10:51:35 +00:00
parent 5f27cfcf85
commit ee5092187d
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/Job.php
View file

@ -21,9 +21,10 @@
*/
namespace MediaWiki\Extension\ReplaceText;
use ContentHandler;
use Job as JobParent;
use MediaWiki\CommentStore\CommentStoreComment;
use MediaWiki\Content\ContentHandler;
use MediaWiki\Content\TextContent;
use MediaWiki\Context\RequestContext;
use MediaWiki\Page\MovePageFactory;
use MediaWiki\Page\WikiPageFactory;
@ -32,7 +33,6 @@ use MediaWiki\Title\Title;
use MediaWiki\User\UserFactory;
use MediaWiki\Watchlist\WatchlistManager;
use RecentChange;
use TextContent;
use Wikimedia\ScopedCallback;
/**

2
src/SpecialReplaceText.php
View file

@ -21,9 +21,9 @@ namespace MediaWiki\Extension\ReplaceText;
use ErrorPageError;
use JobQueueGroup;
use Language;
use MediaWiki\HookContainer\HookContainer;
use MediaWiki\Html\Html;
use MediaWiki\Language\Language;
use MediaWiki\Linker\LinkRenderer;
use MediaWiki\Page\MovePageFactory;
use MediaWiki\Page\WikiPageFactory;