diff options
Diffstat (limited to 'includes/skins')
| -rw-r--r-- | includes/skins/Skin.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/skins/Skin.php b/includes/skins/Skin.php index 0e6fdc367505..d8264c96ee5b 100644 --- a/includes/skins/Skin.php +++ b/includes/skins/Skin.php @@ -36,6 +36,7 @@ use MediaWiki\Skin\SkinComponentRegistry; use MediaWiki\Skin\SkinComponentRegistryContext; use MediaWiki\User\UserIdentity; use MediaWiki\User\UserIdentityValue; +use MediaWiki\WikiMap\WikiMap; use Wikimedia\WrappedStringList; /** |