Merge "recompressTracked.php: Fix typehint of RecompressTracked::dispatch()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 8 Sep 2019 04:34:00 +0000 (04:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 8 Sep 2019 04:34:00 +0000 (04:34 +0000)
commitba40e8e26b4cec0785f43e47dd0123ca761a5101
tree0937cb809a347280e356df48466d5f8c3556694d
parentb37fca1cb6c04bd71dec687400ed55a518c19b85
parent697900e477430a4c98ea771d57bce1d0198e1488
Merge "recompressTracked.php: Fix typehint of RecompressTracked::dispatch()"