Merge "resourceloader: Set value for getStoreKey in server-side"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 4 Jul 2019 19:25:12 +0000 (19:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 4 Jul 2019 19:25:12 +0000 (19:25 +0000)
commitc2e8e0f06161ff3520a572247b7d41d454c50f38
tree27652001ff0cc96dddd8e7f8b740d1d9fd72b258
parent25b2011e7f8b4193da5c885e2ddc80470cc490f3
parent30ddfc8a77214cd9df75293f7d7ab008d1afad87
Merge "resourceloader: Set value for getStoreKey in server-side"
resources/src/startup/mediawiki.js