From 3e15101584e42bf9fb0380f2c89ed5daadd24cac Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Mon, 24 Sep 2007 00:47:05 +0000
Subject: [PATCH] *Actually delete the files too (bug 8250) *Make notices more
 specific

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

diff --git a/maintenance/deleteBatch.php b/maintenance/deleteBatch.php
index 6821ee292c..62169641c0 100644
--- a/maintenance/deleteBatch.php
+++ b/maintenance/deleteBatch.php
@@ -67,6 +67,10 @@ for ( $linenum = 1; !feof( $file ); $linenum++ ) {
 	$dbw->begin();
 	if( $page->getNamespace() == NS_IMAGE ) {
 		$art = new ImagePage( $page );
+		$img = wfFindFile( $art->mTitle );
+		if( !$img || !$img->delete( $reason ) ) {
+			print "FAILED to delete image file... ";
+		}
 	} else {
 		$art = new Article( $page );
 	}
@@ -75,7 +79,7 @@ for ( $linenum = 1; !feof( $file ); $linenum++ ) {
 	if ( $success ) {
 		print "\n";
 	} else {
-		print " FAILED\n";
+		print " FAILED to delete image page\n";
 	}
 
 	if ( $interval ) {
-- 
2.20.1