wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-09-23 10:19:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use namespaced RequestContext class

Browse source 
Change-Id: I34829c1a08436251c225ba0cccaf220989ef8a10
This commit is contained in:
Umherirrender 2024-06-10 20:17:02 +02:00
parent 9fb3aa51b8
commit 05e51711cd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Job.php
View file

@ -24,6 +24,7 @@ namespace MediaWiki\Extension\ReplaceText;
use ContentHandler;
use Job as JobParent;
use MediaWiki\CommentStore\CommentStoreComment;
use MediaWiki\Context\RequestContext;
use MediaWiki\Page\MovePageFactory;
use MediaWiki\Page\WikiPageFactory;
use MediaWiki\Permissions\PermissionManager;
@ -31,7 +32,6 @@ use MediaWiki\Title\Title;
use MediaWiki\User\UserFactory;
use MediaWiki\Watchlist\WatchlistManager;
use RecentChange;
use RequestContext;
use TextContent;
use Wikimedia\ScopedCallback;