Made purgeDeletedFiles.php delete files still in the public zone.
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 12 Jun 2013 17:46:37 +0000 (10:46 -0700)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 13 Jun 2013 23:37:00 +0000 (23:37 +0000)
commit28483205c91a9110355a24c26058121dc1bfeb83
tree8539315a535b74161e0533659d9832c2484a33e3
parent382f706a5be188b32c9006a7c98da3c56e4f4321
Made purgeDeletedFiles.php delete files still in the public zone.

* This makes purges more useful since the file won't come back.
* This only applies for files that are confirmed to already be
  in the deleted zone too. This is for sanity.

Change-Id: I60316c1d9323347d09607e36a334fc5eb0b6a2e7
maintenance/purgeDeletedFiles.php