Fixed doc typo
authorAaron Schulz <aschulz@wikimedia.org>
Fri, 14 Jun 2013 21:14:59 +0000 (14:14 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Fri, 14 Jun 2013 21:14:59 +0000 (14:14 -0700)
Change-Id: I1e4ab410cd02a74e667cc8611e58ad791558896a

maintenance/Maintenance.php

index b4df328..a2bbec5 100644 (file)
@@ -426,7 +426,7 @@ abstract class Maintenance {
                $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;