From 9b720d93e5b54bcd462f37c51c80144f04a71369 Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Mon, 26 Nov 2007 14:28:00 +0000
Subject: [PATCH] clean up --help feature

---
 maintenance/dumpHTML.php | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

diff --git a/maintenance/dumpHTML.php b/maintenance/dumpHTML.php
index 26e914ff3f..b5e09f9c47 100644
--- a/maintenance/dumpHTML.php
+++ b/maintenance/dumpHTML.php
@@ -4,10 +4,8 @@
  * @addtogroup Maintenance
  */
 
-function ShowUsage() {
-echo <<<END
+$usage = <<<ENDS
 Usage:
-php dumpHTML.php --help
 php dumpHTML.php [options...]
 
 	--help               show this message
@@ -31,8 +29,7 @@ php dumpHTML.php [options...]
 	--compress           generate compressed version of the html pages
 	--udp-profile <N>    profile 1/N rendering operations using ProfilerSimpleUDP
 
-END;
-}
+ENDS;
 
 $optionsWithArgs = array( 's', 'd', 'e', 'k', 'checkpoint', 'slice', 'udp-profile' );
 $options = array( 'help' );
@@ -58,8 +55,8 @@ require_once( "dumpHTML.inc" );
 error_reporting( E_ALL & (~E_NOTICE) );
 
 if( isset( $options['help'] ) ) {
-	ShowUsage();
-	exit();
+	echo $usage;
+	exit;
 }
 
 if ( !empty( $options['s'] ) ) {
-- 
2.20.1