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

Use OutputPage::setPageTitleMsg() instead of ::setPageTitle()

Browse source 
Bug: T343994
Change-Id: I71d1ffabd3fca96c6a3b2a9f1647edf9e675e332
This commit is contained in:
Bartosz Dziewoński 2024-02-17 02:57:11 +01:00
parent d8130a9cb0
commit 9cc4ff546e
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
includes/Special/SpecialGadgets.php
View file

@ -80,7 +80,7 @@ class SpecialGadgets extends SpecialPage {
$output = $this->getOutput();
$this->setHeaders();
$this->addHelpLink( 'Extension:Gadgets' );
$output->setPageTitle( $this->msg( 'gadgets-title' ) );
$output->setPageTitleMsg( $this->msg( 'gadgets-title' ) );
$output->addWikiMsg( 'gadgets-pagetext' );
$gadgets = $this->gadgetRepo->getStructuredList();
@ -388,7 +388,7 @@ class SpecialGadgets extends SpecialPage {
}
$this->setHeaders();
$output->setPageTitle( $this->msg( 'gadgets-export-title' ) );
$output->setPageTitleMsg( $this->msg( 'gadgets-export-title' ) );
$output->addWikiMsg( 'gadgets-export-text', $gadget, $g->getDefinition() );
$exportList = "MediaWiki:gadget-$gadget\n";