From 29d0875800594823522d105c981bcebce3ce9738 Mon Sep 17 00:00:00 2001
From: Antoine Musso <hashar@users.mediawiki.org>
Date: Sun, 5 Sep 2004 02:21:52 +0000
Subject: [PATCH] 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.

---
 includes/DefaultSettings.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index b58a4a308b..f2248adcf1 100644
--- 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";
-- 
2.20.1