diff options
| author | James D. Forrester <jforrester@wikimedia.org> | 2025-03-21 15:28:20 -0400 |
|---|---|---|
| committer | James D. Forrester <jforrester@wikimedia.org> | 2025-03-25 10:01:54 -0400 |
| commit | 19b13cd6e421fdbc0462a99040d6674a8176ff0f (patch) | |
| tree | 915e5d0c5e69a457c993b3848b044eec2a47a512 /includes/user/Options | |
| parent | 121e5393d76778045630b03ea10a82ffdecc191f (diff) | |
| download | mediawikicore-19b13cd6e421fdbc0462a99040d6674a8176ff0f.tar.gz mediawikicore-19b13cd6e421fdbc0462a99040d6674a8176ff0f.zip | |
Namespace all remaining files in includes/skin
Bug: T353458
Change-Id: I3e829e35c93bcaae75e401b1801bddf93c0b416c
Diffstat (limited to 'includes/user/Options')
| -rw-r--r-- | includes/user/Options/DefaultOptionsLookup.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/user/Options/DefaultOptionsLookup.php b/includes/user/Options/DefaultOptionsLookup.php index f55eb7d0b267..01e2a148699f 100644 --- a/includes/user/Options/DefaultOptionsLookup.php +++ b/includes/user/Options/DefaultOptionsLookup.php @@ -26,11 +26,11 @@ use MediaWiki\HookContainer\HookRunner; use MediaWiki\Language\LanguageCode; use MediaWiki\Language\LanguageConverter; use MediaWiki\MainConfigNames; +use MediaWiki\Skin\Skin; use MediaWiki\Title\NamespaceInfo; use MediaWiki\User\UserIdentity; use MediaWiki\User\UserIdentityLookup; use MediaWiki\User\UserNameUtils; -use Skin; use Wikimedia\Assert\Assert; use Wikimedia\Rdbms\IDBAccessObject; |