Translations:Manual:$wgDefaultSkin/8/en

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