Aaron Schulz has uploaded a new change for review.
https://gerrit.wikimedia.org/r/68732
Change subject: Fixed doc typo
......................................................................
Fixed doc typo
Change-Id: I1e4ab410cd02a74e667cc8611e58ad791558896a
---
M maintenance/Maintenance.php
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core
refs/changes/32/68732/1
diff --git a/maintenance/Maintenance.php b/maintenance/Maintenance.php
index b4df328..a2bbec5 100644
--- a/maintenance/Maintenance.php
+++ b/maintenance/Maintenance.php
@@ -426,7 +426,7 @@
$this->addOption( 'server', "The protocol and server name to
use in URLs, e.g. " .
"http://en.wikipedia.org. This is sometimes
necessary because " .
"server name detection may fail in command line
scripts.", false, true );
- $this->addOption( 'profiler', 'Set to "text" or "trace" show
profiling output', false, true );
+ $this->addOption( 'profiler', 'Set to "text" or "trace" to show
profiling output', false, true );
# Save generic options to display them separately in help
$this->mGenericParameters = $this->mParams;
--
To view, visit https://gerrit.wikimedia.org/r/68732
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I1e4ab410cd02a74e667cc8611e58ad791558896a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
