1 files changed, 0 insertions, 5 deletions
diff --git a/includes/user/User.php b/includes/user/User.php
index 2d8ba1fd9c41..2a199820c202 100644
--- a/includes/user/User.php
+++ b/includes/user/User.php
@@ -26,11 +26,9 @@ use AllowDynamicProperties;
 use ArrayIterator;
 use DBAccessObjectUtils;
 use Exception;
-use ExternalUserNames;
 use FatalError;
 use IDBAccessObject;
 use InvalidArgumentException;
-use LoggedOutEditToken;
 use MailAddress;
 use MediaWiki\Auth\AuthenticationRequest;
 use MediaWiki\Auth\AuthManager;
@@ -65,10 +63,7 @@ use RuntimeException;
 use Sanitizer;
 use stdClass;
 use UnexpectedValueException;
-use UserArray;
-use UserArrayFromResult;
 use UserCache;
-use UserGroupMembership;
 use UserMailer;
 use UserPasswordPolicy;
 use WANObjectCache;