Pass $user to LocalFileDeleteBatch
authorumherirrender <umherirrender_de.wp@web.de>
Tue, 6 May 2014 19:03:45 +0000 (21:03 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Tue, 6 May 2014 19:31:29 +0000 (21:31 +0200)
commit2d11016ecd6adcf23dc187323d9e7a48a94988bd
tree1526cf6765d7cf8c08a1852a56bba0fcbfd44fd4
parentb08254f12fba29d36c596252dbdf8a28f670dbf5
Pass $user to LocalFileDeleteBatch

This avoids the use of $wgUser

Change-Id: I60cab27e0708a818c77791cc89194b6dd726da0b
includes/FileDeleteForm.php
includes/filerepo/file/LocalFile.php