Merge "Document OutputPage::addVaryHeader()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 8 Sep 2015 21:08:23 +0000 (21:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 8 Sep 2015 21:08:23 +0000 (21:08 +0000)
commit150651197b7a3c93f2556b0c6927c0cd48b92070
tree4112c88818e6a5f0cba687202ab2e8c4a648dce0
parent3b30e38db0d85b28373a407098c8ddaa37dd98f6
parent242ca9556556f03dd8bd039c7acf4b359bf2e431
Merge "Document OutputPage::addVaryHeader()"
includes/OutputPage.php