| Index: trunk/phase3/maintenance/dumpHTML.php |
| — | — | @@ -4,10 +4,8 @@ |
| 5 | 5 | * @addtogroup Maintenance |
| 6 | 6 | */ |
| 7 | 7 | |
| 8 | | -function ShowUsage() { |
| 9 | | -echo <<<END |
| | 8 | +$usage = <<<ENDS |
| 10 | 9 | Usage: |
| 11 | | -php dumpHTML.php --help |
| 12 | 10 | php dumpHTML.php [options...] |
| 13 | 11 | |
| 14 | 12 | --help show this message |
| — | — | @@ -31,8 +29,7 @@ |
| 32 | 30 | --compress generate compressed version of the html pages |
| 33 | 31 | --udp-profile <N> profile 1/N rendering operations using ProfilerSimpleUDP |
| 34 | 32 | |
| 35 | | -END; |
| 36 | | -} |
| | 33 | +ENDS; |
| 37 | 34 | |
| 38 | 35 | $optionsWithArgs = array( 's', 'd', 'e', 'k', 'checkpoint', 'slice', 'udp-profile' ); |
| 39 | 36 | $options = array( 'help' ); |
| — | — | @@ -58,8 +55,8 @@ |
| 59 | 56 | error_reporting( E_ALL & (~E_NOTICE) ); |
| 60 | 57 | |
| 61 | 58 | if( isset( $options['help'] ) ) { |
| 62 | | - ShowUsage(); |
| 63 | | - exit(); |
| | 59 | + echo $usage; |
| | 60 | + exit; |
| 64 | 61 | } |
| 65 | 62 | |
| 66 | 63 | if ( !empty( $options['s'] ) ) { |