diff options
author | Amir Sarabadani <ladsgroup@gmail.com> | 2023-08-25 14:29:41 +0200 |
---|---|---|
committer | Amir Sarabadani <ladsgroup@gmail.com> | 2023-08-25 15:44:17 +0200 |
commit | f4e68e055f46b99d3c881425fb096dac7ee97fec (patch) | |
tree | d1f7b123d0ab2ad0570f12e20cce8e81ddf6e3f7 /includes/preferences | |
parent | 80d62c5ea865c12d85feb87a3564b55aec6e3168 (diff) | |
download | mediawikicore-f4e68e055f46b99d3c881425fb096dac7ee97fec.tar.gz mediawikicore-f4e68e055f46b99d3c881425fb096dac7ee97fec.zip |
Reorg: Move Status to MediaWiki\Status\
This class is used heavily basically everywhere, moving it to Utils
wouldn't make much sense. Also with this change, we can move
StatusValue to MediaWiki\Status as well.
Bug: T321882
Depends-On: I5f89ecf27ce1471a74f31c6018806461781213c3
Change-Id: I04c1dcf5129df437589149f0f3e284974d7c98fa
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; |