diff options
Diffstat (limited to 'maintenance/deleteBatch.php')
| -rw-r--r-- | maintenance/deleteBatch.php | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/maintenance/deleteBatch.php b/maintenance/deleteBatch.php index 234744c3..14da6d84 100644 --- a/maintenance/deleteBatch.php +++ b/maintenance/deleteBatch.php @@ -3,11 +3,10 @@ # 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' ); @@ -50,8 +49,8 @@ $dbw =& wfGetDB( DB_MASTER ); for ( $linenum = 1; !feof( $file ); $linenum++ ) { $line = trim( fgets( $file ) ); - if ( $line === false ) { - break; + if ( $line == '' ) { + continue; } $page = Title::newFromText( $line ); if ( is_null( $page ) ) { |