Updated mediawiki/extensions
Project: mediawiki/extensions/GWToolset  10d0571655c453fb7e06bd7dcf292b7a72d7fe85

mediafile-job-array

aaron schulz requested that we, “create an array of mediafile jobs and push them all at once
(this makes it a bit more atomic)”.

Change-Id: I52b0f57b8c2cda382635fc6480675ea8704208a7