Addshore has uploaded a new change for review.
https://gerrit.wikimedia.org/r/154564
Change subject: Use public instead of var in classes
......................................................................
Use public instead of var in classes
Change-Id: I6c34c0f15c9759e9e2b04fd6da93e5c577a40ce5
---
M CategoryPageSubclass.php
M CategoryTreeFunctions.php
M CategoryTreePage.php
3 files changed, 6 insertions(+), 6 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CategoryTree
refs/changes/64/154564/1
diff --git a/CategoryPageSubclass.php b/CategoryPageSubclass.php
index bb374f0..a37c602 100644
--- a/CategoryPageSubclass.php
+++ b/CategoryPageSubclass.php
@@ -5,12 +5,12 @@
}
class CategoryTreeCategoryViewer extends CategoryViewer {
- var $child_cats;
+ public $child_cats;
/**
* @var CategoryTree
*/
- var $categorytree;
+ public $categorytree;
/**
* @return CategoryTree
diff --git a/CategoryTreeFunctions.php b/CategoryTreeFunctions.php
index 0b0d262..9ed7e17 100644
--- a/CategoryTreeFunctions.php
+++ b/CategoryTreeFunctions.php
@@ -16,8 +16,8 @@
}
class CategoryTree {
- var $mIsAjaxRequest = false;
- var $mOptions = array();
+ public $mIsAjaxRequest = false;
+ public $mOptions = array();
/**
* @param $options array
diff --git a/CategoryTreePage.php b/CategoryTreePage.php
index c3bc9ff..49c2688 100644
--- a/CategoryTreePage.php
+++ b/CategoryTreePage.php
@@ -16,12 +16,12 @@
}
class CategoryTreePage extends SpecialPage {
- var $target = '';
+ public $target = '';
/**
* @var CategoryTree
*/
- var $tree = null;
+ public $tree = null;
function __construct() {
parent::__construct( 'CategoryTree', '', true );
--
To view, visit https://gerrit.wikimedia.org/r/154564
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I6c34c0f15c9759e9e2b04fd6da93e5c577a40ce5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CategoryTree
Gerrit-Branch: master
Gerrit-Owner: Addshore <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
