From 60d99da3cb8edc446a1373aae6a8dfb3ad276d72 Mon Sep 17 00:00:00 2001
From: Platonides <platonides@users.mediawiki.org>
Date: Sun, 7 Nov 2010 15:12:49 +0000
Subject: [PATCH] Follow up r76207. It's called $skin here. This paramter is
 completely unused, though. Any reason to keep it?

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

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;
 			}
-- 
2.20.1