summaryrefslogtreecommitdiff
path: root/maintenance/deleteOldRevisions.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2008-03-21 11:49:34 +0100
committerPierre Schmitz <pierre@archlinux.de>2008-03-21 11:49:34 +0100
commit086ae52d12011746a75f5588e877347bc0457352 (patch)
treee73263c7a29d0f94fafb874562610e16eb292ba8 /maintenance/deleteOldRevisions.php
parent749e7fb2bae7bbda855de3c9e319435b9f698ff7 (diff)
Update auf MediaWiki 1.12.0
Diffstat (limited to 'maintenance/deleteOldRevisions.php')
-rw-r--r--maintenance/deleteOldRevisions.php4
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" );
}