From 37048464a14e5ac85a3c1145db97807a2bdc0164 Mon Sep 17 00:00:00 2001
From: Platonides <platonides@users.mediawiki.org>
Date: Sun, 18 Jul 2010 18:38:58 +0000
Subject: [PATCH] Use $stylename member instead of hardcoding vector.

---
 skins/Vector.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/skins/Vector.php b/skins/Vector.php
index 5c99165988..b638a59b0a 100644
--- a/skins/Vector.php
+++ b/skins/Vector.php
@@ -37,7 +37,7 @@ class SkinVector extends SkinTemplate {
 		$out->addScript(
 			'<!--[if lt IE 7]><style type="text/css">body{behavior:url("' .
 				htmlspecialchars( $wgLocalStylePath ) .
-				'/vector/csshover.htc")}</style><![endif]-->'
+				"/{$this->stylename}/csshover.htc\")}</style><![endif]-->"
 		);
 	}
 
@@ -52,14 +52,14 @@ class SkinVector extends SkinTemplate {
 		parent::setupSkinUserCss( $out );
 
 		// Append skin-specific styles
-		$out->addStyle( 'vector/main-rtl.css', 'screen', '', 'rtl' );
-		$out->addStyle( 'vector/main-ltr.css', 'screen', '', 'ltr' );
+		$out->addStyle( "{$this->stylename}/main-rtl.css", 'screen', '', 'rtl' );
+		$out->addStyle( "{$this->stylename}/main-ltr.css", 'screen', '', 'ltr' );
 
 		// Add extra stylesheets
 		// THIS IS ONLY USEFUL FOR EXPERIMENTING WITH DIFFERNT STYLE OPTIONS! THIS WILL BE REMOVED IN THE NEAR FUTURE.
 		if ( is_array( $wgVectorExtraStyles ) ) {
 			foreach ( $wgVectorExtraStyles as $style ) {
-				$out->addStyle( 'vector/' . $style, 'screen' );
+				$out->addStyle( "{$this->stylename}/$style", 'screen' );
 			}
 		}
 	}
-- 
2.20.1