In DefaultSettings.php we see
/** See list of skins and their symbolic names in languages/Language.php */
$wgDefaultSkin = 'vector';
However languages/Language.php contains no such list, so we don't know what you are talking about.
Version: 1.17.x
Severity: enhancement