From: Antoine Musso <hashar@users.mediawiki.org>
Date: Thu, 17 Jun 2004 17:50:19 +0000 (+0000)
Subject: Ugly fix for skins that dont extends Skin:specialPagesList such as Nostalgia. Pointed... 
X-Git-Tag: 1.5.0alpha1~2828
X-Git-Url: http://git.cyclocoop.org/%24self?a=commitdiff_plain;h=068d2d7d945bff8eed547c340f56926dbb1a5dbf;p=lhc%2Fweb%2Fwiklou.git

Ugly fix for skins that dont extends Skin:specialPagesList such as Nostalgia. Pointed out by JeLuf (thx).
---

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" );