From a58285fd06c8113c45377c655dd43cef6337e815 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 11 Jan 2007 19:06:07 +0000
Subject: Aktualisierung auf MediaWiki 1.9.0

---
 maintenance/deleteBatch.php | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

(limited to 'maintenance/deleteBatch.php')

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 ) ) {
-- 
cgit v1.2.3-54-g00ecf