Merge "Make WikiPage::doPurge() clear the file cache too"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 12 Sep 2016 10:24:54 +0000 (10:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 12 Sep 2016 10:24:54 +0000 (10:24 +0000)
commit8cb18dca1c758c31cd6a514691a0e725855a2e5c
tree8d474cc2c1f56604d26fd65fa26b6aeb278ced8e
parent0f9261a23c4a8073a79004cba0942a6d370a3703
parent6d9a2f849f3292f6d5e9e399889db8f4f58d1c1a
Merge "Make WikiPage::doPurge() clear the file cache too"