Fix documentation for deleteBatch.php; which appeared to be copied from moveBatch...

diff --git a/maintenance/deleteBatch.php b/maintenance/deleteBatch.php
index 234744c..5c5e321 100644 (file)
--- a/maintenance/deleteBatch.php
+++ b/maintenance/deleteBatch.php
@@ -3,11 +3,10 @@
 # delete a batch of pages
 # Usage: php deleteBatch.php [-u <user>] [-r <reason>] [-i <interval>] <listfile>
 # where
-#      <listfile> 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.
+#      <listfile> is a file where each line contains the title of a page to be deleted.
 #      <user> is the username
-#      <reason> is the move reason
-#      <interval> is the number of seconds to sleep for after each move
+#      <reason> is the delete reason
+#      <interval> is the number of seconds to sleep for after each delete
 
 $oldCwd = getcwd();
 $optionsWithArgs = array( 'u', 'r', 'i' );