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/api/ApiQueryUsers.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/api/ApiQueryUsers.php')
| -rw-r--r-- | includes/api/ApiQueryUsers.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/api/ApiQueryUsers.php b/includes/api/ApiQueryUsers.php index 5e3a8ea6950e..7dc11ebb21c4 100644 --- a/includes/api/ApiQueryUsers.php +++ b/includes/api/ApiQueryUsers.php @@ -22,6 +22,7 @@ use MediaWiki\Auth\AuthManager; use MediaWiki\Block\DatabaseBlock; +use MediaWiki\User\User; use MediaWiki\User\UserFactory; use MediaWiki\User\UserGroupManager; use MediaWiki\User\UserNameUtils; |