* @addtogroup Maintenance
*/
-function ShowUsage() {
-echo <<<END
+$usage = <<<ENDS
Usage:
-php dumpHTML.php --help
php dumpHTML.php [options...]
--help show this message
--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' );
error_reporting( E_ALL & (~E_NOTICE) );
if( isset( $options['help'] ) ) {
- ShowUsage();
- exit();
+ echo $usage;
+ exit;
}
if ( !empty( $options['s'] ) ) {