From ab8d57e44bc174efc7d38f79faa1965df30befd5 Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Wed, 16 May 2007 19:54:58 +0000
Subject: [PATCH] use $wgStyleVersion in handy-dandy $wgOut->addStyle() func

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

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 6a4f66d8d6..42c1b4c2a7 100644
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -75,11 +75,11 @@ class OutputPage {
 	function addKeyword( $text ) { array_push( $this->mKeywords, $text ); }
 	function addScript( $script ) { $this->mScripts .= "\t\t".$script; }
 	function addStyle( $style ) {
-		global $wgStylePath;
+		global $wgStylePath, $wgStyleVersion;
 		$this->addLink(
 				array(
 					'rel' => 'stylesheet',
-					'href' => $wgStylePath . '/' . $style ) );
+					'href' => $wgStylePath . '/' . $style . '?' . $wgStyleVersion ) );
 	}
 
 	/**
-- 
2.20.1