Merge "InstantCommons: do not cache thumbs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 25 Jan 2017 22:39:33 +0000 (22:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 25 Jan 2017 22:39:33 +0000 (22:39 +0000)
commit5b1dcdc344f5d251120a161637bcb89e01b0f6a4
tree485ebcef35f65345723786ad0ec2ba55e789c640
parent90f0807c54370c05042632f77d2ffb846e8be628
parenta75973d8833277eb0683749a37bb0d517cdd3116
Merge "InstantCommons: do not cache thumbs"
includes/Setup.php