diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2008-03-21 11:49:34 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2008-03-21 11:49:34 +0100 |
commit | 086ae52d12011746a75f5588e877347bc0457352 (patch) | |
tree | e73263c7a29d0f94fafb874562610e16eb292ba8 /maintenance/refreshLinks.php | |
parent | 749e7fb2bae7bbda855de3c9e319435b9f698ff7 (diff) |
Update auf MediaWiki 1.12.0
Diffstat (limited to 'maintenance/refreshLinks.php')
-rw-r--r-- | maintenance/refreshLinks.php | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/maintenance/refreshLinks.php b/maintenance/refreshLinks.php index 34ca53c5..67fb77ae 100644 --- a/maintenance/refreshLinks.php +++ b/maintenance/refreshLinks.php @@ -1,18 +1,32 @@ <?php /** - * @todo document * @addtogroup Maintenance */ /** */ $optionsWithArgs = array( 'm', 'e' ); + require_once( "commandLine.inc" ); require_once( "refreshLinks.inc" ); +if( isset( $options['help'] ) ) { + echo <<<TEXT +Usage: php refreshLinks.php [<start>] [-e <end>] [-m <maxlag>] [--help] + + --help : This help message + --dfn-only : Delete links from nonexistent articles only + -m <number> : Maximum replication lag + <start> : First page id to refresh + -e <number> : Last page id to refresh + +TEXT; + exit(0); +} + error_reporting( E_ALL & (~E_NOTICE) ); if ( !$options['dfn-only'] ) { - if ($args[0]) { + if ( isset( $args[0] ) ) { $start = (int)$args[0]; } else { $start = 1; |