Wikimedia Bugzilla is closed!

Using V1.3.0 the following Skins are optioned in the user Preference list when logged 
in.

 Classic
 Nostalgia
 Cologne Blue
 MonoBook
 MySkin

However, in the stylesheets directory the following appears

davinci <dir>
mono <dir>
monobook <dir>
myskin <dir>
wikistandard.css
nostalgia.css
cologneblue.css

- as well as some other style sheets and files. There are clearly some styles that 
are offered that do not relate to style sheets or directories. Similarly there are 
style directories that are not offered as preferance options (ie davinci).

Looking at include/Skin.php there are some options commented out

    #$wgValidSkinNames['davinci'] = 'DaVinci';
    #$wgValidSkinNames['mono'] = 'Mono';
    #$wgValidSkinNames['monobookminimal'] = 'MonoBookMinimal';

Should this be more consistant. EG. each style should have it's own directory under 
stylesheets, and if it's not going to be offered as an option, then perhaps it should 
be removed - or a refrenece to it in the Release notes saying it's disabled.