Batch/pipeline backend operations in refreshFileHeaders
authorGilles Dubuc <gilles@wikimedia.org>
Tue, 23 May 2017 08:41:33 +0000 (10:41 +0200)
committerGilles Dubuc <gilles@wikimedia.org>
Wed, 24 May 2017 08:46:50 +0000 (10:46 +0200)
commite20e1c80d3435a8545a3e1e1cf818d6591abb98d
tree0aee51c4876976a86619ae11ba63d9dc2fffcf63
parent14faf59fd9633db935075b7bd27f85d2142f6826
Batch/pipeline backend operations in refreshFileHeaders

Bug: T150741
Change-Id: I44efd47e7eb3eba71ae39808ee8e6969e141c5cc
maintenance/refreshFileHeaders.php