summaryrefslogtreecommitdiff
path: root/maintenance/deleteBatch.php
diff options
context:
space:
mode:
Diffstat (limited to 'maintenance/deleteBatch.php')
-rw-r--r--maintenance/deleteBatch.php19
1 files changed, 12 insertions, 7 deletions
diff --git a/maintenance/deleteBatch.php b/maintenance/deleteBatch.php
index 62169641..d10948a0 100644
--- a/maintenance/deleteBatch.php
+++ b/maintenance/deleteBatch.php
@@ -1,12 +1,17 @@
<?php
-# delete a batch of pages
-# Usage: php deleteBatch.php [-u <user>] [-r <reason>] [-i <interval>] <listfile>
-# where
-# <listfile> is a file where each line contains the title of a page to be deleted.
-# <user> is the username
-# <reason> is the delete reason
-# <interval> is the number of seconds to sleep for after each delete
+/**
+ * Deletes a batch of pages
+ * Usage: php deleteBatch.php [-u <user>] [-r <reason>] [-i <interval>] <listfile>
+ * where
+ * <listfile> is a file where each line contains the title of a page to be deleted.
+ * <user> is the username
+ * <reason> is the delete reason
+ * <interval> is the number of seconds to sleep for after each delete
+ *
+ * @file
+ * @ingroup Maintenance
+ */
$oldCwd = getcwd();
$optionsWithArgs = array( 'u', 'r', 'i' );