jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/373501 )

Change subject: Restore specific submit message on Special:AbuseLog
......................................................................


Restore specific submit message on Special:AbuseLog

This line was dropped in Ifad07bac45eadc4ed377967aa4ab3e3b9e14aa8b.

Bug: T173995
Change-Id: I84982620abbda38c86159b3aa7ed408c44d447ad
---
M includes/special/SpecialAbuseLog.php
1 file changed, 1 insertion(+), 0 deletions(-)

Approvals:
  Huji: Looks good to me, but someone else must approve
  Florianschmidtwelzow: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/includes/special/SpecialAbuseLog.php 
b/includes/special/SpecialAbuseLog.php
index bac89fe..5d73c59 100644
--- a/includes/special/SpecialAbuseLog.php
+++ b/includes/special/SpecialAbuseLog.php
@@ -146,6 +146,7 @@
 
                $htmlForm = HTMLForm::factory( 'ooui', $formDescriptor, 
$this->getContext() )
                        ->setWrapperLegendMsg( 'abusefilter-log-search' )
+                       ->setSubmitTextMsg( 'abusefilter-log-search-submit' )
                        ->setMethod( 'get' )
                        ->prepareForm()
                        ->displayForm( false );

-- 
To view, visit https://gerrit.wikimedia.org/r/373501
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I84982620abbda38c86159b3aa7ed408c44d447ad
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/AbuseFilter
Gerrit-Branch: master
Gerrit-Owner: Matěj Suchánek <matejsuchane...@gmail.com>
Gerrit-Reviewer: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com>
Gerrit-Reviewer: Huji <huji.h...@gmail.com>
Gerrit-Reviewer: Jackmcbarn <jackmcb...@gmail.com>
Gerrit-Reviewer: Rendann <hufewe...@p33.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to