From 05e51711cd18d67e2eedc23c2d37218a61cedd86 Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Mon, 10 Jun 2024 20:17:02 +0200
Subject: [PATCH] Use namespaced RequestContext class

Change-Id: I34829c1a08436251c225ba0cccaf220989ef8a10
---
 src/Job.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Job.php b/src/Job.php
index e7415b0c..45dc20e6 100644
--- a/src/Job.php
+++ b/src/Job.php
@@ -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;