diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2023-09-19 13:13:45 +0100 |
|---|---|---|
| committer | DannyS712 <dannys712.wiki@gmail.com> | 2023-09-19 19:18:16 +0000 |
| commit | 1d0b7ae1e26a6e925fa16ae712e291813085cb8a (patch) | |
| tree | dcf2ddbe86cb77988faa56e3f0896b853cc0f4ff /includes/Permissions/UserAuthority.php | |
| parent | f971382d3d8eb4c222dfb823b286958fe5abc806 (diff) | |
| download | mediawikicore-1d0b7ae1e26a6e925fa16ae712e291813085cb8a.tar.gz mediawikicore-1d0b7ae1e26a6e925fa16ae712e291813085cb8a.zip | |
Namespace User under \MediaWiki\User
Bug: T166010
Change-Id: I7257302b485588af31384d4f7fc8e30551f161f1
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 ef721181c8ac..b31fc460127a 100644 --- a/includes/Permissions/UserAuthority.php +++ b/includes/Permissions/UserAuthority.php @@ -29,8 +29,8 @@ use MediaWiki\Linker\LinkTarget; use MediaWiki\Page\PageIdentity; use MediaWiki\Request\WebRequest; use MediaWiki\Title\TitleValue; +use MediaWiki\User\User; use MediaWiki\User\UserIdentity; -use User; use Wikimedia\Assert\Assert; use Wikimedia\DebugInfo\DebugInfoTrait; |