Bartosz Dziewoński has submitted this change and it was merged.
Change subject: Replace usage of SpecialPage::getTitle with getPageTitle
......................................................................
Replace usage of SpecialPage::getTitle with getPageTitle
Was deprecated in 1.23, see Icdcf5d5295ef5e7f08b1d403e0c123f78738fd40
Change-Id: I383341d6b05e8467fc6ff7e20e88c8dc0fd77cf3
---
M SpecialIndex.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Bartosz Dziewoński: Verified; Looks good to me, approved
diff --git a/SpecialIndex.php b/SpecialIndex.php
index 6029d29..231a0e7 100644
--- a/SpecialIndex.php
+++ b/SpecialIndex.php
@@ -178,7 +178,7 @@
$form = Xml::openElement( 'fieldset', array( 'style' =>
'line-height:200%' ) ) .
Xml::element( 'legend', array(), wfMsgHtml( 'index-legend' ) ) .
Xml::openElement( 'form', array( 'method' => 'GET', 'action' =>
$wgScript ) ) .
- Html::Hidden( 'title', $this->getTitle()->getPrefixedDbKey() )
.
+ Html::Hidden( 'title',
$this->getPageTitle()->getPrefixedDbKey() ) .
Xml::label( wfMsg( 'index-search' ), 'mw-index-searchtext' ) .
Xml::input( 'searchtext', 100, $search, array( 'id' =>
'mw-index-searchtext' ) ) .
--
To view, visit https://gerrit.wikimedia.org/r/103943
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I383341d6b05e8467fc6ff7e20e88c8dc0fd77cf3
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/IndexFunction
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
