From 8f416baead93a48e5799e44b8bd2e2c4859f4e04 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Fri, 14 Sep 2007 13:18:58 +0200
Subject: auf Version 1.11 aktualisiert; Login-Bug behoben

---
 maintenance/dumpHTML.php | 62 ++++++++++++++++++++++++++++--------------------
 1 file changed, 36 insertions(+), 26 deletions(-)

(limited to 'maintenance/dumpHTML.php')

diff --git a/maintenance/dumpHTML.php b/maintenance/dumpHTML.php
index b9b052ed..26e914ff 100644
--- a/maintenance/dumpHTML.php
+++ b/maintenance/dumpHTML.php
@@ -4,33 +4,38 @@
  * @addtogroup Maintenance
  */
 
-/**
- * Usage:
- * php dumpHTML.php [options...]
- *
- * -d <dest>            destination directory
- * -s <start>           start ID
- * -e <end>             end ID
- * -k <skin>            skin to use (defaults to htmldump)
- * --no-overwrite       skip existing HTML files
- * --checkpoint <file>  use a checkpoint file to allow restarting of interrupted dumps
- * --slice <n/m>        split the job into m segments and do the n'th one
- * --images             only do image description pages
- * --shared-desc        only do shared (commons) image description pages
- * --no-shared-desc     don't do shared image description pages
- * --categories         only do category pages
- * --redirects          only do redirects
- * --special            only do miscellaneous stuff
- * --force-copy         copy commons instead of symlink, needed for Wikimedia
- * --interlang          allow interlanguage links
- * --image-snapshot     copy all images used to the destination directory
- * --compress           generate compressed version of the html pages
- * --udp-profile <N>    profile 1/N rendering operations using ProfilerSimpleUDP
- */
-
+function ShowUsage() {
+echo <<<END
+Usage:
+php dumpHTML.php --help
+php dumpHTML.php [options...]
+
+	--help               show this message
+
+	-d <dest>            destination directory
+	-s <start>           start ID
+	-e <end>             end ID
+	-k <skin>            skin to use (defaults to htmldump)
+	--no-overwrite       skip existing HTML files
+	--checkpoint <file>  use a checkpoint file to allow restarting of interrupted dumps
+	--slice <n/m>        split the job into m segments and do the n'th one
+	--images             only do image description pages
+	--shared-desc        only do shared (commons) image description pages
+	--no-shared-desc     don't do shared image description pages
+	--categories         only do category pages
+	--redirects          only do redirects
+	--special            only do miscellaneous stuff
+	--force-copy         copy commons instead of symlink, needed for Wikimedia
+	--interlang          allow interlanguage links
+	--image-snapshot     copy all images used to the destination directory
+	--compress           generate compressed version of the html pages
+	--udp-profile <N>    profile 1/N rendering operations using ProfilerSimpleUDP
+
+END;
+}
 
 $optionsWithArgs = array( 's', 'd', 'e', 'k', 'checkpoint', 'slice', 'udp-profile' );
-
+$options = array( 'help' );
 $profiling = false;
 
 if ( $profiling ) {
@@ -52,6 +57,11 @@ require_once( "dumpHTML.inc" );
 
 error_reporting( E_ALL & (~E_NOTICE) );
 
+if( isset( $options['help'] ) ) {
+	ShowUsage();
+	exit();
+}
+
 if ( !empty( $options['s'] ) ) {
 	$start = $options['s'];
 } else {
@@ -147,4 +157,4 @@ if ( $profiling ) {
 	echo $wgProfiler->getOutput();
 }
 
-?>
+
-- 
cgit v1.2.3-54-g00ecf