Merge "Deprecate redundant SquidUpdate::newSimplePurge()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 19 Oct 2015 19:19:52 +0000 (19:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 19 Oct 2015 19:19:52 +0000 (19:19 +0000)
commit4ca4ae9009e8668afbb3b2c3f9701371d7958700
tree49b1c73fbcda153b3a3f0d0113515c94fb5aea9b
parent733500556032a12c2e30730d850eb879f3a486d2
parent670612f06c8e1d2c7c2fb5d3c38d34dea7fc81c9
Merge "Deprecate redundant SquidUpdate::newSimplePurge()"
includes/deferred/SquidUpdate.php