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

Merge "Fixed a bug that double percent-encoding on Special:CategoryTree"

Browse source
This commit is contained in:
jenkins-bot 2020-07-23 09:23:25 +00:00 committed by Gerrit Code Review
parent 8e42164c0d b3fa4441a0
commit a27b54d610
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/CategoryTree.php
View file

@ -552,7 +552,7 @@ class CategoryTree {
$special,
$t->getText(),
[ 'class' => 'CategoryTreeLabel' ],
[ 'target' => $t->getPartialURL() ] + $this->mOptions
[ 'target' => $t->getDBkey() ] + $this->mOptions
);
$s .= Xml::closeElement( 'span' );
}