diff options
Diffstat (limited to 'includes/preferences')
-rw-r--r-- | includes/preferences/DefaultPreferencesFactory.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/preferences/DefaultPreferencesFactory.php b/includes/preferences/DefaultPreferencesFactory.php index ee54b7cd0dd9..c5f4bddf5603 100644 --- a/includes/preferences/DefaultPreferencesFactory.php +++ b/includes/preferences/DefaultPreferencesFactory.php @@ -40,6 +40,7 @@ use MediaWiki\Linker\LinkRenderer; use MediaWiki\MainConfigNames; use MediaWiki\MediaWikiServices; use MediaWiki\Permissions\PermissionManager; +use MediaWiki\Status\Status; use MediaWiki\Title\Title; use MediaWiki\User\UserGroupManager; use MediaWiki\User\UserOptionsLookup; @@ -58,7 +59,6 @@ use Psr\Log\LoggerAwareTrait; use Psr\Log\NullLogger; use SkinFactory; use SpecialPage; -use Status; use UnexpectedValueException; use User; use UserGroupMembership; |