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

Swap $mCategoryViewerClass to be public like its parent

Browse source 
Needed after I9937148dd8114e7167d6a581e64bfed5fdcc568e

Change-Id: Iea507743a7f03ae01aa5869e9a30e3dcbce8f5ce
This commit is contained in:
Chad Horohoe 2017-06-13 12:16:39 -07:00
parent 877359da17
commit a4493424fd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CategoryPageSubclass.php
View file

@ -1,7 +1,7 @@
<?php <?php
class CategoryTreeCategoryPage extends CategoryPage { class CategoryTreeCategoryPage extends CategoryPage {
protected $mCategoryViewerClass = 'CategoryTreeCategoryViewer'; public $mCategoryViewerClass = 'CategoryTreeCategoryViewer';
} }
class CategoryTreeCategoryViewer extends CategoryViewer { class CategoryTreeCategoryViewer extends CategoryViewer {