Updated mediawiki/extensions
Project: mediawiki/extensions/Collection  d61c67097756a829a449661999fe467019f47457

Allow customizing post_zip destination

Looks clumsy though, please let me know if you don't like it

Change-Id: I4b9da674f9fe4de555627d0379fa4ba4a984d2b8