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

Simplify PHP code

Browse source 
Change-Id: Ia1bd08cd972b2f5792d24d5fbc383c3c63b000db
This commit is contained in:
Fomafix 2023-02-11 20:10:08 +00:00
parent 8bd82c12f6
commit 75c2c5580a
1 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
includes/CategoryTree.php
View file

@ -314,15 +314,12 @@ class CategoryTree {
* @return mixed * @return mixed
*/ */
public function getOptionsAsJsStructure( $depth = null ) { public function getOptionsAsJsStructure( $depth = null ) {
if ( $depth !== null ) {
$opt = $this->mOptions; $opt = $this->mOptions;
if ( $depth !== null ) {
$opt['depth'] = $depth; $opt['depth'] = $depth;
$s = self::encodeOptions( $opt, 'json' );
} else {
$s = self::encodeOptions( $this->mOptions, 'json' );
} }
return $s; return self::encodeOptions( $opt, 'json' );
} }
/** /**