From d62d973eb7ebfd35effcc28c2b0bcba658c69bdc Mon Sep 17 00:00:00 2001
From: Platonides <platonides@users.mediawiki.org>
Date: Tue, 7 Sep 2010 22:55:34 +0000
Subject: [PATCH] Follow-up r72349. The new makeResourceLoaderLink() doesn't
 need $wgScriptPath.

I quite agree with the TODO. Moving to ResourceLoader class seems a good idea.
---
 includes/OutputPage.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index dc659a9acd..33d49316e5 100644
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -2281,7 +2281,7 @@ class OutputPage {
 	}
 	
 	static function makeResourceLoaderLink( $skin, $modules, $only ) {
-		global $wgUser, $wgLang, $wgRequest, $wgScriptPath;
+		global $wgUser, $wgLang, $wgRequest;
 		// TODO: Should this be a static function of ResourceLoader instead?
 		$query = array(
 			'modules' => implode( '|', array_unique( (array) $modules ) ),
-- 
2.20.1