Shirayuki has uploaded a new change for review.
https://gerrit.wikimedia.org/r/53031
Change subject: Adding comments for grep
......................................................................
Adding comments for grep
Change-Id: I9f5454ecc46d0d3494e4c4bcaf6a39e8c698f8ca
---
M SpecialPremoderation.php
1 file changed, 3 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Premoderation
refs/changes/31/53031/1
diff --git a/SpecialPremoderation.php b/SpecialPremoderation.php
index f81350d..9861197 100644
--- a/SpecialPremoderation.php
+++ b/SpecialPremoderation.php
@@ -270,7 +270,9 @@
protected function getStatusForm( $status ) {
$statusList = ( $status == 'new' ) ? array( 'approved',
'declined' ) :
array( 'new', 'approved' );
-
+
+ // Give grep a chance to find the usages:
+ // premoderation-status-approved,
premoderation-status-declined, premoderation-status-new
$options = '';
foreach( $statusList as $item ) {
$options .= Xml::option(
wfMsg("premoderation-status-$item"), $item );
--
To view, visit https://gerrit.wikimedia.org/r/53031
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I9f5454ecc46d0d3494e4c4bcaf6a39e8c698f8ca
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Premoderation
Gerrit-Branch: master
Gerrit-Owner: Shirayuki <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
