Add script to purge changed files from cache
authorBryan Davis <bd808@wikimedia.org>
Fri, 4 Oct 2013 22:38:09 +0000 (16:38 -0600)
committerBryan Davis <bd808@wikimedia.org>
Tue, 8 Oct 2013 20:17:25 +0000 (14:17 -0600)
commitf90a9ec93ae7112cb15ca49d81ca8933cfd91be1
treec1d2efe9eee674e1d769880736caad481bf37a99
parent9b6ed54c6ae404214b07c5af68c86af0c919077f
Add script to purge changed files from cache

This maintenance script enhances the prior purgeDeletedFiles script to
optionally also process create and modify events that may have left
stale information in front-end caches.

Changes from purgeDeletedFiles:
* `--starttime` & `--endtime` are now required
* `--type` allows selecting 'created' and/or 'modified' events in
    addition to 'deleted' events.
* `--dry-run` to list affected files but perform no purges
* `--htcp-dest` option to restrict HTCP broadcast messages

Change-Id: I7181ea461ba9758747bff4fd70530d00dab492cc
maintenance/purgeChangedFiles.php [new file with mode: 0644]
maintenance/purgeDeletedFiles.php [deleted file]