// Display the skin if the user has set it as a preference already before it was hidden.
$currentUserSkin = $user->getOption( 'skin' );
if ( isset( $allInstalledSkins[$currentUserSkin] )
// Display the skin if the user has set it as a preference already before it was hidden.
$currentUserSkin = $user->getOption( 'skin' );
if ( isset( $allInstalledSkins[$currentUserSkin] )