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

Use setPageTitle() instead of setPagetitle()

Browse source 
The function in file includes/OutputPage.php in core is called setPageTitle()

Change-Id: I42a99eb7c03ae0137aa027b867af9d172540973d
This commit is contained in:
Fomafix 2016-12-28 11:41:50 +01:00
parent c2eac7c025
commit 89f74b61c5
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
SpecialGadgets.php
View file

@ -36,7 +36,7 @@ class SpecialGadgets extends SpecialPage {
$output = $this->getOutput();
$this->setHeaders();
$output->setPagetitle( $this->msg( 'gadgets-title' ) );
$output->setPageTitle( $this->msg( 'gadgets-title' ) );
$output->addWikiMsg( 'gadgets-pagetext' );
$gadgets = GadgetRepo::singleton()->getStructuredList();
@ -191,7 +191,7 @@ class SpecialGadgets extends SpecialPage {
}
$this->setHeaders();
$output->setPagetitle( $this->msg( 'gadgets-export-title' ) );
$output->setPageTitle( $this->msg( 'gadgets-export-title' ) );
$output->addWikiMsg( 'gadgets-export-text', $gadget, $g->getDefinition() );
$exportList = "MediaWiki:gadget-$gadget\n";