jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/404049 )
Change subject: Fix purge.php parameter handling
......................................................................
Fix purge.php parameter handling
Bug: T181107
Change-Id: I417eb64c9d044250a88129b601ac784875ba2235
---
M maintenance/purge.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Mholloway: Looks good to me, approved
diff --git a/maintenance/purge.php b/maintenance/purge.php
index 85e571b..da0e2a3 100644
--- a/maintenance/purge.php
+++ b/maintenance/purge.php
@@ -26,7 +26,7 @@
parent::__construct();
$this->addDescription(
'Purge unneeded database rows (deleted lists/entries or
orphaned sortkeys).' );
- $this->addOption( 'before', 'Purge deleted lists/entries before
this timestamp', true, true );
+ $this->addOption( 'before', 'Purge deleted lists/entries before
this timestamp', false, true );
}
/**
--
To view, visit https://gerrit.wikimedia.org/r/404049
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I417eb64c9d044250a88129b601ac784875ba2235
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ReadingLists
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <[email protected]>
Gerrit-Reviewer: Mholloway <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
