From 04d2417f8f95b66b4b0d30e9194cfd20cd8e644c Mon Sep 17 00:00:00 2001 From: Alexandre Emsenhuber Date: Mon, 2 May 2011 15:32:20 +0000 Subject: [PATCH] Moved Skin::$mWatchLinkNum to SkinLegacy since it's only used there and made it protected per documentation (nothing else apart SkinLegacy uses it) --- includes/Skin.php | 5 ----- includes/SkinLegacy.php | 1 + 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/includes/Skin.php b/includes/Skin.php index 028b403168..acbe6eaef4 100644 --- a/includes/Skin.php +++ b/includes/Skin.php @@ -16,11 +16,6 @@ if ( !defined( 'MEDIAWIKI' ) ) { * @ingroup Skins */ abstract class Skin { - /**#@+ - * @private - */ - var $mWatchLinkNum = 0; // Appended to end of watch link id's - /**#@-*/ protected $skinname = 'standard'; protected $mRelevantTitle = null; protected $mRelevantUser = null; diff --git a/includes/SkinLegacy.php b/includes/SkinLegacy.php index 22d658a81d..6c421ef0d7 100644 --- a/includes/SkinLegacy.php +++ b/includes/SkinLegacy.php @@ -9,6 +9,7 @@ if ( !defined( 'MEDIAWIKI' ) ) { class SkinLegacy extends SkinTemplate { var $useHeadElement = true; + protected $mWatchLinkNum = 0; // Appended to end of watch link id's /** * Add skin specific stylesheets -- 2.20.1