jenkins-bot has submitted this change and it was merged.

Change subject: FlowAddMissingModerationLogs: These params are not optional
......................................................................


FlowAddMissingModerationLogs: These params are not optional

Change-Id: I2269966402741d7e41e6972641d4110cd415b64e
---
M maintenance/FlowAddMissingModerationLogs.php
1 file changed, 2 insertions(+), 2 deletions(-)

Approvals:
  Mattflaschen: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/maintenance/FlowAddMissingModerationLogs.php 
b/maintenance/FlowAddMissingModerationLogs.php
index c5aaa65..9236d17 100644
--- a/maintenance/FlowAddMissingModerationLogs.php
+++ b/maintenance/FlowAddMissingModerationLogs.php
@@ -19,8 +19,8 @@
 
                $this->mDescription = 'Backfills missing moderation logs from 
flow_revision.  Must be run separately for each affected wiki.';
 
-               $this->addOption( 'start', 'rev_id of last moderation revision 
that was logged correctly before regression.  Omit to backfill from the 
beginning', true, true );
-               $this->addOption( 'stop', 'rev_id of first revision that was 
logged correctly after moderation logging fix.  Omit to backfill up to the 
current moment', true, true );
+               $this->addOption( 'start', 'rev_id of last moderation revision 
that was logged correctly before regression.', true, true );
+               $this->addOption( 'stop', 'rev_id of first revision that was 
logged correctly after moderation logging fix.', true, true );
 
                $this->setBatchSize( 300 );
        }

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I2269966402741d7e41e6972641d4110cd415b64e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: master
Gerrit-Owner: Mattflaschen <[email protected]>
Gerrit-Reviewer: Mattflaschen <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to