Merge "Explicitly mark SkinTemplate properties as public"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 28 Mar 2016 02:36:42 +0000 (02:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 28 Mar 2016 02:36:42 +0000 (02:36 +0000)
includes/skins/SkinTemplate.php

index 92311b5..2d1679d 100644 (file)
@@ -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
         *