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

sizeof -> count

Browse source 
Change php function for more common name

Change-Id: I563d94f05e01ea0a4aca7e80b524101691490469
This commit is contained in:
Umherirrender 2017-05-24 20:00:48 +02:00
parent 6695adc303
commit 3f9ec93abd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CategoryTreeFunctions.php
View file

@ -40,7 +40,7 @@ class CategoryTree {
if ( $this->mOptions['namespaces'] ) {
# automatically adjust mode to match namespace filter
if ( sizeof( $this->mOptions['namespaces'] ) === 1
if ( count( $this->mOptions['namespaces'] ) === 1
&& $this->mOptions['namespaces'][0] == NS_CATEGORY ) {
$this->mOptions['mode'] = CategoryTreeMode::CATEGORIES;
} elseif ( !in_array( NS_FILE, $this->mOptions['namespaces'] ) ) {