added DaVinci Skin name

diff --git a/languages/Language.php b/languages/Language.php
index 86ab1db..cf91b87 100644 (file)
--- a/languages/Language.php
+++ b/languages/Language.php
@@ -94,7 +94,7 @@ if($wgMetaNamespace === FALSE)
 );
 
 /* private */ $wgSkinNamesEn = array(
-       "Standard", "Nostalgia", "Cologne Blue", "Paddington", "Montparnasse"
+       "Standard", "Nostalgia", "Cologne Blue", "Paddington", "Montparnasse", "DaVinci"
 );
 
 /* private */ $wgMathNamesEn = array(