Siebrand has submitted this change and it was merged.
Change subject: Adding comments for grep
......................................................................
Adding comments for grep
Change-Id: Id395b071cc5613cbb902329e2464c3c190f282ad
---
M SpecialAdminPoll.php
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Siebrand: Verified; Looks good to me, approved
diff --git a/SpecialAdminPoll.php b/SpecialAdminPoll.php
index 5058a63..b98e35c 100644
--- a/SpecialAdminPoll.php
+++ b/SpecialAdminPoll.php
@@ -85,6 +85,8 @@
$output .= '</div>';
+ // Give grep a chance to find the usages:
+ // poll-admin-title-all, poll-admin-title-closed,
poll-admin-title-flagged, poll-admin-title-open
$wgOut->setPageTitle( wfMsg( 'poll-admin-title-' .
$current_status ) );
$params['ORDER BY'] = 'poll_date DESC';
--
To view, visit https://gerrit.wikimedia.org/r/53030
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id395b071cc5613cbb902329e2464c3c190f282ad
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PollNY
Gerrit-Branch: master
Gerrit-Owner: Shirayuki <[email protected]>
Gerrit-Reviewer: Siebrand <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
