1 files changed, 1 insertions, 1 deletions
diff --git a/includes/session/SessionManager.php b/includes/session/SessionManager.php
index fbd60ac3cf00..3a7a4e010b5e 100644
--- a/includes/session/SessionManager.php
+++ b/includes/session/SessionManager.php
@@ -32,12 +32,12 @@ use MediaWiki\HookContainer\HookRunner;
 use MediaWiki\MainConfigNames;
 use MediaWiki\MediaWikiServices;
 use MediaWiki\Request\FauxRequest;
+use MediaWiki\Request\WebRequest;
 use MediaWiki\User\UserNameUtils;
 use MWException;
 use Psr\Log\LoggerInterface;
 use Psr\Log\LogLevel;
 use User;
-use WebRequest;
 
 /**
  * This serves as the entry point to the MediaWiki session handling system.