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

Replace usage of SpecialPage::getTitle with getPageTitle

Browse source 
Was deprecated in 1.23, see Icdcf5d5295ef5e7f08b1d403e0c123f78738fd40

Change-Id: I7a6bc726325fb467826abe625b58cce55940293d
This commit is contained in:
Kunal Mehta 2013-12-26 22:59:11 -08:00
parent cc4e0de619
commit 7be53a9aec
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
SpecialGadgets.php
View file

@ -95,7 +95,7 @@ class SpecialGadgets extends SpecialPage {
array( 'action' => 'edit' ) array( 'action' => 'edit' )
); );
$links[] = Linker::link( $links[] = Linker::link(
$this->getTitle( "export/{$gadget->getName()}" ), $this->getPageTitle( "export/{$gadget->getName()}" ),
$this->msg( 'gadgets-export' )->escaped() $this->msg( 'gadgets-export' )->escaped()
); );