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

Merge "Fix PHP notice"

Browse source
This commit is contained in:
jenkins-bot 2014-12-01 16:54:49 +00:00 committed by Gerrit Code Review
parent c99c494081 e6bb22b81c
commit 6846be6f0d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Interwiki_body.php
View file

@ -334,7 +334,7 @@ class SpecialInterwiki extends SpecialPage {
// Page intro content
$this->getOutput()->addWikiMsg( 'interwiki_intro' );
$logLink = Linker::link(
SpecialPage::getTitleFor( 'log', 'interwiki' ),
SpecialPage::getTitleFor( 'Log', 'interwiki' ),
$this->msg( 'interwiki-logtext' )->escaped()
);
$this->getOutput()->addHTML( '<p class="mw-interwiki-log">' . $logLink . '</p>' );