wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-09-23 18:38:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add help links to special pages

Browse source 
Bug: T228071
Change-Id: I5326bb73da952b16c685e80afc51615fee84784a
This commit is contained in:
DannyS712 2019-07-17 19:53:40 +00:00
parent f2d1dccabb
commit 8256a6dbae
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/CategoryTreePage.php
View file

@ -62,6 +62,7 @@ class CategoryTreePage extends SpecialPage {
global $wgCategoryTreeDefaultOptions, $wgCategoryTreeSpecialPageOptions;
$this->setHeaders();
$this->addHelpLink( 'Extension:CategoryTree' );
$request = $this->getRequest();
if ( $par ) {
$this->target = $par;