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
*/
public $template = 'QuickTemplate';
+ public $thispage;
+ public $titletxt;
+ public $userpage;
+ public $thisquery;
+ public $loggedin;
+ public $username;
+ public $userpageUrlDetails;
+
/**
* Add specific styles for this skin
*