Explicitly mark SkinTemplate properties as public

As these are not actually defined in the class but
are used they are effectively public.
There are extensions that use at least 1 of these.

The correct way forward is to now explicitly add
them as public and then deprecate and remove in
the future when needed.

Change-Id: I287579135e29f70437f7e0777fe3dfe524af402e

diff --git a/includes/skins/SkinTemplate.php b/includes/skins/SkinTemplate.php
index 419c4b4..5777076 100644 (file)
--- a/includes/skins/SkinTemplate.php
+++ b/includes/skins/SkinTemplate.php
@@ -45,6 +45,14 @@ class SkinTemplate extends Skin {
         */
        public $template = 'QuickTemplate';
 
+       public $thispage;
+       public $titletxt;
+       public $userpage;
+       public $thisquery;
+       public $loggedin;
+       public $username;
+       public $userpageUrlDetails;
+
        /**
         * Add specific styles for this skin
         *