From: Platonides <platonides@users.mediawiki.org>
Date: Sun, 7 Nov 2010 15:12:49 +0000 (+0000)
Subject: Follow up r76207. It's called $skin here.
X-Git-Tag: 1.31.0-rc.0~34020
X-Git-Url: https://git.cyclocoop.org/%27.WWW_URL.%27admin/?a=commitdiff_plain;h=60d99da3cb8edc446a1373aae6a8dfb3ad276d72;p=lhc%2Fweb%2Fwiklou.git

Follow up r76207. It's called $skin here.
This paramter is completely unused, though. Any reason to keep it?
---

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index f126655d89..beba6fdaa7 100644
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -2302,7 +2302,7 @@ class OutputPage {
 	 * @param $useESI boolean
 	 * @return string html <script> and <style> tags
 	 */
-	protected function makeResourceLoaderLink( $skin, $modules, $only, $useESI = false ) {
+	protected function makeResourceLoaderLink( Skin $skin, $modules, $only, $useESI = false ) {
 		global $wgUser, $wgLang, $wgLoadScript, $wgResourceLoaderUseESI,
 			$wgResourceLoaderInlinePrivateModules;
 		// Lazy-load ResourceLoader
@@ -2332,7 +2332,7 @@ class OutputPage {
 				// Recursively call us for every item
 				$links = '';
 				foreach ( $modules as $name ) {
-					$links .= $this->makeResourceLoaderLink( $sk, $name, $only, $useESI );
+					$links .= $this->makeResourceLoaderLink( $skin, $name, $only, $useESI );
 				}
 				return $links;
 			}