X-Git-Url: http://git.heureux-cyclage.org/?a=blobdiff_plain;f=maintenance%2FdeleteBatch.php;h=d10948a0c664c6d232d0f8b3f6e055800560d77b;hb=1c2f4514f80ec6e775c57c7e401ccb9925b8d94e;hp=62169641c0757a9260b5c84523cbcb7a67c3b63c;hpb=3e15101584e42bf9fb0380f2c89ed5daadd24cac;p=lhc%2Fweb%2Fwiklou.git

diff --git a/maintenance/deleteBatch.php b/maintenance/deleteBatch.php
index 62169641c0..d10948a0c6 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' );