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/deleteOldRevisions.php | |
parent | 749e7fb2bae7bbda855de3c9e319435b9f698ff7 (diff) |
Update auf MediaWiki 1.12.0
Diffstat (limited to 'maintenance/deleteOldRevisions.php')
-rw-r--r-- | maintenance/deleteOldRevisions.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintenance/deleteOldRevisions.php b/maintenance/deleteOldRevisions.php index 8d676ab1..8454479b 100644 --- a/maintenance/deleteOldRevisions.php +++ b/maintenance/deleteOldRevisions.php @@ -16,12 +16,12 @@ echo( "Delete Old Revisions\n\n" ); if( @$options['help'] ) { ShowUsage(); } else { - DeleteOldRevisions( @$options['delete'] ); + DeleteOldRevisions( @$options['delete'], $args ); } function ShowUsage() { echo( "Deletes non-current revisions from the database.\n\n" ); - echo( "Usage: php deleteOldRevisions.php [--delete|--help]\n\n" ); + echo( "Usage: php deleteOldRevisions.php [--delete|--help] [<page_id> ...]\n\n" ); echo( "delete : Performs the deletion\n" ); echo( " help : Show this usage information\n" ); } |