From c9408e75d072ec7c603dce9d7d7496d30d02b90b Mon Sep 17 00:00:00 2001
From: Sam Reed <reedy@users.mediawiki.org>
Date: Mon, 19 Sep 2011 20:27:36 +0000
Subject: [PATCH] Followup r97551, use isLocal, more dynamic!

---
 maintenance/deleteBatch.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maintenance/deleteBatch.php b/maintenance/deleteBatch.php
index 91524f667d..14db16425a 100644
--- a/maintenance/deleteBatch.php
+++ b/maintenance/deleteBatch.php
@@ -87,7 +87,7 @@ class DeleteBatch extends Maintenance {
 				$art = new ImagePage( $page );
 				$img = wfFindFile( $art->mTitle );
 				if ( !$img
-					|| $img instanceof ForeignDBFile || $img instanceof ForeignAPIFile
+					|| !$img->isLocal()
 					|| !$img->delete( $reason ) ) {
 					$this->output( " FAILED to delete image file... " );
 				}
-- 
2.20.1