# 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' );