Merge "Use dedicated cookie for skipping CDN cache after initiating DB changes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 13 Jan 2016 03:16:40 +0000 (03:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 13 Jan 2016 03:16:40 +0000 (03:16 +0000)
commit052770c40b84e22ddd42ff5686e0aaf3b9131030
tree009958c4a5d720ca2a23a1d0e549f022b4dd48fa
parent84022083410088f9ed00433485a4b076fec79ab8
parent5e0162f9197b854f75820a906b0a6c31b164ffda
Merge "Use dedicated cookie for skipping CDN cache after initiating DB changes"
includes/MediaWiki.php