From f3da9368e855612f489c7b8c6d9a79fde7aa07ad Mon Sep 17 00:00:00 2001
From: gerritbot <ladsgroup+gerritbot@gmail.com>
Date: Fri, 19 May 2023 10:24:07 +0000
Subject: [PATCH] Update moved class FauxRequest

See T321882. Moved in I832b133aaf61ee

Bug: T321681
Change-Id: Ie2e1ff04178e3f502f90336e68ab012636b46fb5
---
 includes/ForeignWikiRequest.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/ForeignWikiRequest.php b/includes/ForeignWikiRequest.php
index c33e0d44d..fbb48b4f0 100644
--- a/includes/ForeignWikiRequest.php
+++ b/includes/ForeignWikiRequest.php
@@ -2,6 +2,7 @@
 
 use MediaWiki\Logger\LoggerFactory;
 use MediaWiki\MediaWikiServices;
+use MediaWiki\Request\FauxRequest;
 use MediaWiki\Session\SessionManager;
 use MediaWiki\User\UserIdentity;
 use MediaWiki\WikiMap\WikiMap;