From 65cea580745d63f33885aff954bcde5d34054968 Mon Sep 17 00:00:00 2001 From: Andrew Garrett Date: Fri, 10 Nov 2006 13:16:01 +0000 Subject: [PATCH] Fix documentation for deleteBatch.php; which appeared to be copied from moveBatch.php or similar --- maintenance/deleteBatch.php | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/maintenance/deleteBatch.php b/maintenance/deleteBatch.php index 234744c3d8..5c5e321091 100644 --- a/maintenance/deleteBatch.php +++ b/maintenance/deleteBatch.php @@ -3,11 +3,10 @@ # delete a batch of pages # Usage: php deleteBatch.php [-u ] [-r ] [-i ] # where -# is a file where each line has two titles separated by a pipe -# character. The first title is the source, the second is the destination. +# is a file where each line contains the title of a page to be deleted. # is the username -# is the move reason -# is the number of seconds to sleep for after each move +# is the delete reason +# is the number of seconds to sleep for after each delete $oldCwd = getcwd(); $optionsWithArgs = array( 'u', 'r', 'i' ); -- 2.20.1