1 files changed, 1 insertions, 1 deletions
diff --git a/includes/Permissions/UserAuthority.php b/includes/Permissions/UserAuthority.php
index e114ac57dac2..968f54aa8ebe 100644
--- a/includes/Permissions/UserAuthority.php
+++ b/includes/Permissions/UserAuthority.php
@@ -27,10 +27,10 @@ use MediaWiki\Block\Block;
 use MediaWiki\Block\BlockErrorFormatter;
 use MediaWiki\Linker\LinkTarget;
 use MediaWiki\Page\PageIdentity;
+use MediaWiki\Request\WebRequest;
 use MediaWiki\User\UserIdentity;
 use TitleValue;
 use User;
-use WebRequest;
 use Wikimedia\Assert\Assert;
 use Wikimedia\DebugInfo\DebugInfoTrait;