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

Add help links to special pages

Browse source 
Bug: T228071
Change-Id: I1bfa452ed21db5f6edc8971390b407e57e7e015d
This commit is contained in:
DannyS712 2019-07-17 19:39:36 +00:00
parent 28bc89ad4f
commit bbdc32d8d6
2 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
includes/SpecialGadgetUsage.php
View file

@ -39,6 +39,14 @@ class SpecialGadgetUsage extends QueryPage {
$this->activeUsers = $this->getConfig()->get( 'SpecialGadgetUsageActiveUsers' );
}
/**
* @inheritDoc
*/
public function execute( $par ) {
parent::execute( $par );
$this->addHelpLink( 'Extension:Gadgets' );
}
/**
* Flag for holding the value of config variable SpecialGadgetUsageActiveUsers
*

2
includes/SpecialGadgets.php
View file

@ -39,6 +39,7 @@ class SpecialGadgets extends SpecialPage {
public function showMainForm() {
$output = $this->getOutput();
$this->setHeaders();
$this->addHelpLink( 'Extension:Gadgets' );
$output->setPageTitle( $this->msg( 'gadgets-title' ) );
$output->addWikiMsg( 'gadgets-pagetext' );
@ -227,6 +228,7 @@ class SpecialGadgets extends SpecialPage {
public function showExportForm( $gadget ) {
global $wgScript;
$this->addHelpLink( 'Extension:Gadgets' );
$output = $this->getOutput();
try {
$g = GadgetRepo::singleton()->getGadget( $gadget );