jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/329474 )
Change subject: Fix case of OutputPage::setPageTitle ...................................................................... Fix case of OutputPage::setPageTitle Change-Id: I409861e8f94235758cb2f867c167e2943714bb38 --- M SpecialNamespaces_body.php 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: jenkins-bot: Verified Thiemo Mättig (WMDE): Looks good to me, approved diff --git a/SpecialNamespaces_body.php b/SpecialNamespaces_body.php index 32b4951..a0d0847 100644 --- a/SpecialNamespaces_body.php +++ b/SpecialNamespaces_body.php @@ -23,9 +23,9 @@ $this->outputHeader(); if ( $admin ) { - $this->getOutput()->setPagetitle( wfMessage( 'namespaces' ) ); + $this->getOutput()->setPageTitle( wfMessage( 'namespaces' ) ); } else { - $this->getOutput()->setPagetitle( wfMessage( 'namespaces-title-norights' ) ); + $this->getOutput()->setPageTitle( wfMessage( 'namespaces-title-norights' ) ); } $req = $this->getRequest(); $action = $req->getVal( 'action', $par ); -- To view, visit https://gerrit.wikimedia.org/r/329474 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I409861e8f94235758cb2f867c167e2943714bb38 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/SpecialNamespaces Gerrit-Branch: master Gerrit-Owner: Umherirrender <umherirrender_de...@web.de> Gerrit-Reviewer: Thiemo Mättig (WMDE) <thiemo.maet...@wikimedia.de> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits