Moved Skin::$mWatchLinkNum to SkinLegacy since it's only used there and made it prote...

diff --git a/includes/Skin.php b/includes/Skin.php
index 028b403..acbe6ea 100644 (file)
--- 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 22d658a..6c421ef 100644 (file)
--- 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