diff options
Diffstat (limited to 'includes/Permissions/UserAuthority.php')
-rw-r--r-- | includes/Permissions/UserAuthority.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/Permissions/UserAuthority.php b/includes/Permissions/UserAuthority.php index d107eba49c21..ef721181c8ac 100644 --- a/includes/Permissions/UserAuthority.php +++ b/includes/Permissions/UserAuthority.php @@ -28,8 +28,8 @@ use MediaWiki\Block\BlockErrorFormatter; use MediaWiki\Linker\LinkTarget; use MediaWiki\Page\PageIdentity; use MediaWiki\Request\WebRequest; +use MediaWiki\Title\TitleValue; use MediaWiki\User\UserIdentity; -use TitleValue; use User; use Wikimedia\Assert\Assert; use Wikimedia\DebugInfo\DebugInfoTrait; |