Merge "resourceloader: Set value for getVary in server-side"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 4 Jul 2019 19:25:03 +0000 (19:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 4 Jul 2019 19:25:03 +0000 (19:25 +0000)
commit25b2011e7f8b4193da5c885e2ddc80470cc490f3
tree89aad24ee5e110c5c5fdcdf1e9983baa5014a34a
parent63e1c961cb62ee55e45a1a68f5a6f65565c034de
parent0a8e37f042c2c3c26f14d0cb2537457e29d5ff05
Merge "resourceloader: Set value for getVary in server-side"
resources/src/startup/mediawiki.js