From 068d2d7d945bff8eed547c340f56926dbb1a5dbf Mon Sep 17 00:00:00 2001
From: Antoine Musso <hashar@users.mediawiki.org>
Date: Thu, 17 Jun 2004 17:50:19 +0000
Subject: [PATCH] Ugly fix for skins that dont extends Skin:specialPagesList
 such as Nostalgia. Pointed out by JeLuf (thx).

---
 includes/Skin.php        | 1 +
 includes/SpecialPage.php | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/includes/Skin.php b/includes/Skin.php
index f894425d9a..1b35625b03 100644
--- a/includes/Skin.php
+++ b/includes/Skin.php
@@ -1084,6 +1084,7 @@ class Skin {
 	function specialPagesList()
 	{
 		global $wgUser, $wgOut, $wgLang, $wgServer, $wgRedirectScript;
+		require_once('SpecialPage.php');
 		$a = array();
 		$pages = SpecialPage::getPages();
 		
diff --git a/includes/SpecialPage.php b/includes/SpecialPage.php
index 165ef040bf..c8e97f2311 100644
--- a/includes/SpecialPage.php
+++ b/includes/SpecialPage.php
@@ -1,5 +1,5 @@
 <?php
-
+global $wgSpecialPages;
 $wgSpecialPages = array(
 	"Userlogin"		=> new UnlistedSpecialPage( "Userlogin" ),
 	"Userlogout"	=> new UnlistedSpecialPage( "Userlogout" ),
@@ -15,6 +15,7 @@ $wgSpecialPages = array(
 	"Lonelypages"	=> new SpecialPage( "Lonelypages" ),
 	"Unusedimages"	=> new SpecialPage( "Unusedimages" )
 );
+global $wgDisableCounters;
 if( !$wgDisableCounters )
 {
 	$wgSpecialPages["Popularpages"] = new SpecialPage( "Popularpages" );
-- 
2.20.1