Translations:Manual:$wgDefaultSkin/8/en

When you remove a skin from the list of skins to choose from, use the maintenance script $userOptions to make sure that this skin is also not chosen by any user: