Merge "resourceloader: Move 'mw.config' assignment from startup.js to mediawiki.js"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 26 Jul 2019 20:27:45 +0000 (20:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 26 Jul 2019 20:27:45 +0000 (20:27 +0000)

Trivial merge