diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2008-03-21 11:49:34 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2008-03-21 11:49:34 +0100 |
| commit | 086ae52d12011746a75f5588e877347bc0457352 (patch) | |
| tree | e73263c7a29d0f94fafb874562610e16eb292ba8 /maintenance/deleteBatch.php | |
| parent | 749e7fb2bae7bbda855de3c9e319435b9f698ff7 (diff) | |
Update auf MediaWiki 1.12.0
Diffstat (limited to 'maintenance/deleteBatch.php')
| -rw-r--r-- | maintenance/deleteBatch.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/maintenance/deleteBatch.php b/maintenance/deleteBatch.php index 6821ee29..62169641 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 ) { |