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)
commitf94ebba6646b6656606e751dcd8464e76fc766e9
tree5bfcc571928febe0279ad24a76c87b24027dc5da
parentaa4da0d33426cbff5a612464599dba0cede1037e
parenta7017dbc0ab66d7db799a50594eed5848781aabf
Merge "resourceloader: Move 'mw.config' assignment from startup.js to mediawiki.js"