Batch/pipeline backend operations in refreshFileHeaders
authorGilles Dubuc <gilles@wikimedia.org>
Tue, 23 May 2017 08:41:33 +0000 (10:41 +0200)
committerAaron Schulz <aschulz@wikimedia.org>
Tue, 23 May 2017 19:31:21 +0000 (19:31 +0000)
commit5fde3c998fdd56ec74655cba2b2e46e3b3f4ec39
treedd4b62e43a1652fa58cac43ed7c5430870c005b0
parente1090009434d4908a37c8bc481fe07e96c5f647f
Batch/pipeline backend operations in refreshFileHeaders

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