jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/350783 )
Change subject: Fix help text for --d on shell.php
......................................................................
Fix help text for --d on shell.php
1 is stderr, not 0
Change-Id: Iaee4ffd5767f8ae693e8ef19371ce38fe6bd1817
---
M maintenance/shell.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/maintenance/shell.php b/maintenance/shell.php
index 9f2306f..5df5b54 100644
--- a/maintenance/shell.php
+++ b/maintenance/shell.php
@@ -49,8 +49,8 @@
parent::__construct();
$this->addOption( 'd',
'For back compatibility with eval.php. ' .
- '0 send debug to stderr. ' .
- 'With 1 additionally initialize database with debugging
',
+ '1 send debug to stderr. ' .
+ 'With 2 additionally initialize database with debugging
',
false, true
);
}
--
To view, visit https://gerrit.wikimedia.org/r/350783
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iaee4ffd5767f8ae693e8ef19371ce38fe6bd1817
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Brion VIBBER <br...@wikimedia.org>
Gerrit-Reviewer: Krinkle <krinklem...@gmail.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
