From 370e83bb0dfd0c70de268c93bf07ad5ee0897192 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Fri, 15 Aug 2008 01:29:47 +0200
Subject: Update auf 1.13.0

---
 maintenance/deleteBatch.php | 19 ++++++++++++-------
 1 file changed, 12 insertions(+), 7 deletions(-)

(limited to 'maintenance/deleteBatch.php')

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' );
-- 
cgit v1.2.2