diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2008-08-15 01:29:47 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2008-08-15 01:29:47 +0200 |
commit | 370e83bb0dfd0c70de268c93bf07ad5ee0897192 (patch) | |
tree | 491674f4c242e4d6ba0d04eafa305174c35a3391 /maintenance/deleteBatch.php | |
parent | f4debf0f12d0524d2b2427c55ea3f16b680fad97 (diff) |
Update auf 1.13.0
Diffstat (limited to 'maintenance/deleteBatch.php')
-rw-r--r-- | maintenance/deleteBatch.php | 19 |
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' ); |