summaryrefslogtreecommitdiff
path: root/maintenance/deleteBatch.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2007-01-11 19:06:07 +0000
committerPierre Schmitz <pierre@archlinux.de>2007-01-11 19:06:07 +0000
commita58285fd06c8113c45377c655dd43cef6337e815 (patch)
treedfe31d3d12652352fe44890b4811eda0728faefb /maintenance/deleteBatch.php
parent20194986f6638233732ba1fc3e838f117d3cc9ea (diff)
Aktualisierung auf MediaWiki 1.9.0
Diffstat (limited to 'maintenance/deleteBatch.php')
-rw-r--r--maintenance/deleteBatch.php11
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 ) ) {