1 files changed, 1 insertions, 1 deletions
diff --git a/includes/auth/AuthManager.php b/includes/auth/AuthManager.php
index 3d47e9746b12..1886544192ab 100644
--- a/includes/auth/AuthManager.php
+++ b/includes/auth/AuthManager.php
@@ -33,6 +33,7 @@ use MediaWiki\MainConfigNames;
 use MediaWiki\Page\PageIdentity;
 use MediaWiki\Permissions\Authority;
 use MediaWiki\Permissions\PermissionStatus;
+use MediaWiki\Request\WebRequest;
 use MediaWiki\Status\Status;
 use MediaWiki\User\BotPasswordStore;
 use MediaWiki\User\TempUser\TempUserCreator;
@@ -49,7 +50,6 @@ use Psr\Log\NullLogger;
 use SpecialPage;
 use StatusValue;
 use User;
-use WebRequest;
 use Wikimedia\ObjectFactory\ObjectFactory;
 use Wikimedia\Rdbms\ILoadBalancer;
 use Wikimedia\Rdbms\ReadOnlyMode;