jenkins-bot has submitted this change and it was merged.
Change subject: Use prefixed title in Special:History banner
......................................................................
Use prefixed title in Special:History banner
Bug: 57119
Change-Id: Ibad184ac3d7fb62f605b773e0f7dbba3c5a81d28
---
M includes/specials/SpecialHistory.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Awjrichards: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/specials/SpecialHistory.php
b/includes/specials/SpecialHistory.php
index 7fc0224..99eae5c 100644
--- a/includes/specials/SpecialHistory.php
+++ b/includes/specials/SpecialHistory.php
@@ -23,7 +23,7 @@
$out->addHtml(
Html::openElement( 'div', array(
'class' => 'page-header-bar' ) ) .
Html::openElement( 'div' ) .
- $this->msg(
'mobile-frontend-history-summary', $this->title->getText() )->parse() .
+ $this->msg(
'mobile-frontend-history-summary', $this->title->getPrefixedText() )->parse() .
Html::closeElement( 'div' ) .
Html::closeElement( 'div' )
);
--
To view, visit https://gerrit.wikimedia.org/r/96166
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ibad184ac3d7fb62f605b773e0f7dbba3c5a81d28
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
Gerrit-Reviewer: Awjrichards <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
