New stylepath : ./skins/ instead of ./style/ or ./stylesheet/

Committing before I forget about it. Installer probably need it's default choice to be updated as well.

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index b58a4a3..f2248ad 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -92,12 +92,12 @@ $wgRedirectScript   = "{$wgScriptPath}/redirect.php";
  * style path as seen by users
  * @global string $wgStylePath
  */
-$wgStylePath   = "{$wgScriptPath}/style";
+$wgStylePath   = "{$wgScriptPath}/skins";
 /**
  * filesystem stylesheets directory
  * @global string $wgStyleDirectory
  */
-$wgStyleDirectory = "{$IP}/style";
+$wgStyleDirectory = "{$IP}/skins";
 $wgStyleSheetPath = &$wgStylePath;
 $wgStyleSheetDirectory = &$wgStyleDirectory;
 $wgArticlePath      = "{$wgScript}?title=$1";