Add 'vector' as new skin example, remove the ancient skins as example

Backport to 1.16 follows

diff --git a/config/Installer.php b/config/Installer.php
index cca150f..a54fc97 100644 (file)
--- a/config/Installer.php
+++ b/config/Installer.php
@@ -1996,7 +1996,7 @@ if ( \$wgCommandLineMode ) {
 \$wgSecretKey = \"$secretKey\";
 
 ## Default skin: you can change the default skin. Use the internal symbolic
-## names, ie 'standard', 'nostalgia', 'cologneblue', 'monobook':
+## names, ie 'vector', 'monobook':
 \$wgDefaultSkin = 'monobook';
 
 ## For attaching licensing metadata to pages, and displaying an