1 files changed, 1 insertions, 1 deletions
diff --git a/includes/MainConfigSchema.php b/includes/MainConfigSchema.php
index f4ffecc3d164..0d02e63783e9 100644
--- a/includes/MainConfigSchema.php
+++ b/includes/MainConfigSchema.php
@@ -47,6 +47,7 @@ use LocalIdLookup;
 use LocalisationCache;
 use LocalRepo;
 use LogFormatter;
+use MediaWiki\Request\WebRequest;
 use MediaWiki\Settings\Source\JsonSchemaTrait;
 use MediaWikiSite;
 use MemcachedPeclBagOStuff;
@@ -81,7 +82,6 @@ use UserEditCountInitJob;
 use UserGroupExpiryJob;
 use UserOptionsUpdateJob;
 use WatchlistExpiryJob;
-use WebRequest;
 use Wikimedia\EventRelayer\EventRelayerNull;
 use WikitextContentHandler;
 use WinCacheBagOStuff;