wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-27 17:51:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use public instead of var in classes

Browse source 
Change-Id: I6c34c0f15c9759e9e2b04fd6da93e5c577a40ce5
This commit is contained in:
addshore 2014-08-17 22:03:48 +01:00
parent 060a1e3f1f
commit 7a749a6e9a
3 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
CategoryPageSubclass.php
View file

@ -5,12 +5,12 @@ class CategoryTreeCategoryPage extends CategoryPage {
}
class CategoryTreeCategoryViewer extends CategoryViewer {
var $child_cats;
public $child_cats;
/**
* @var CategoryTree
*/
var $categorytree;
public $categorytree;
/**
* @return CategoryTree

4
CategoryTreeFunctions.php
View file

@ -16,8 +16,8 @@ if ( !defined( 'MEDIAWIKI' ) ) {
}
class CategoryTree {
var $mIsAjaxRequest = false;
var $mOptions = array();
public $mIsAjaxRequest = false;
public $mOptions = array();
/**
* @param $options array

4
CategoryTreePage.php
View file

@ -16,12 +16,12 @@ if ( !defined( 'MEDIAWIKI' ) ) {
}
class CategoryTreePage extends SpecialPage {
var $target = '';
public $target = '';
/**
* @var CategoryTree
*/
var $tree = null;
public $tree = null;
function __construct() {
parent::__construct( 'CategoryTree', '', true );