X-Git-Url: http://git.heureux-cyclage.org/?a=blobdiff_plain;f=maintenance%2FdeleteBatch.php;h=93507b3467e487625723b776d04f1648042c1d94;hb=09aa7275fa00fe103f762d44ba43e931c9305f3e;hp=6860a5afa47d136f196a589d9b8061e6163e304f;hpb=39f9b1ee65a631f193dbd9fa6f66418de65f95d2;p=lhc%2Fweb%2Fwiklou.git

diff --git a/maintenance/deleteBatch.php b/maintenance/deleteBatch.php
index 6860a5afa4..93507b3467 100644
--- a/maintenance/deleteBatch.php
+++ b/maintenance/deleteBatch.php
@@ -3,11 +3,11 @@
  * Deletes a batch of pages.
  * Usage: php deleteBatch.php [-u <user>] [-r <reason>] [-i <interval>] [listfile]
  * where
- *	[listfile] is a file where each line contains the title of a page to be
- *             deleted, standard input is used if listfile is not given.
- *	<user> is the username
- *	<reason> is the delete reason
- *	<interval> is the number of seconds to sleep for after each delete
+ *   [listfile] is a file where each line contains the title of a page to be
+ *     deleted, standard input is used if listfile is not given.
+ *   <user> is the username
+ *   <reason> is the delete reason
+ *   <interval> is the number of seconds to sleep for after each delete
  *
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -28,7 +28,7 @@
  * @ingroup Maintenance
  */
 
-require_once( dirname( __FILE__ ) . '/Maintenance.php' );
+require_once __DIR__ . '/Maintenance.php';
 
 /**
  * Maintenance script to delete a batch of pages.
@@ -79,7 +79,9 @@ class DeleteBatch extends Maintenance {
 		$dbw = wfGetDB( DB_MASTER );
 
 		# Handle each entry
+		// @codingStandardsIgnoreStart Ignore Generic.CodeAnalysis.ForLoopWithTestFunctionCall.NotAllowed
 		for ( $linenum = 1; !feof( $file ); $linenum++ ) {
+			// @codingStandardsIgnoreEnd
 			$line = trim( fgets( $file ) );
 			if ( $line == '' ) {
 				continue;
@@ -97,7 +99,7 @@ class DeleteBatch extends Maintenance {
 			$this->output( $title->getPrefixedText() );
 			$dbw->begin( __METHOD__ );
 			if ( $title->getNamespace() == NS_FILE ) {
-				$img = wfFindFile( $title );
+				$img = wfFindFile( $title, array( 'ignoreRedirect' => true ) );
 				if ( $img && $img->isLocal() && !$img->delete( $reason ) ) {
 					$this->output( " FAILED to delete associated file... " );
 				}
@@ -121,4 +123,4 @@ class DeleteBatch extends Maintenance {
 }
 
 $maintClass = "DeleteBatch";
-require_once( RUN_MAINTENANCE_IF_MAIN );
+require_once RUN_MAINTENANCE_IF_MAIN;