Merge "resourceloader: Reduce memory cost of mw.config.set()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 4 Sep 2018 18:09:29 +0000 (18:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 4 Sep 2018 18:09:29 +0000 (18:09 +0000)
commit5061f291f34420ce6278badbd6180549c9a71eff
tree7459bf058430063741821ea40ca99d418b30edb4
parent5ee5c27c26cae57e928de790936cf62b1d77ce23
parent27adc46df9039b181931cf734b131cda020b015a
Merge "resourceloader: Reduce memory cost of mw.config.set()"
resources/src/startup/mediawiki.js