* Use WikiPage instead of Article (or ImagePage) to call doDeleteArticle()
authorAlexandre Emsenhuber <ialex@users.mediawiki.org>
Tue, 27 Dec 2011 15:56:35 +0000 (15:56 +0000)
committerAlexandre Emsenhuber <ialex@users.mediawiki.org>
Tue, 27 Dec 2011 15:56:35 +0000 (15:56 +0000)
commita0c354bc51927202314c0e96beacd5fa53f80cfd
tree5acd85b21fc5dc20c640e9ca4888140d537b4066
parent4f68ae893915980542a87bfa44aff010df1f92d7
* Use WikiPage instead of Article (or ImagePage) to call doDeleteArticle()
* Rename some variable for consistency
* Check for valid user before opening the file containing pages to delete, there's no point doing the latter if the former fails
* Don't ouput "FAILED to delete associated file" if the file is from a foreign repository
maintenance/deleteBatch.php