Merge "resourceloader: Misc optimisations in startup module"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 9 Feb 2019 22:16:53 +0000 (22:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 9 Feb 2019 22:16:53 +0000 (22:16 +0000)
commit44532bdd3b8a56dcc07fc92da7538b9e7f35657b
tree88b1ff9cfa7e932734b3b53a408e8c0201f40b62
parent9973617ae71f430bd62b82e67aab86c3b05d21fa
parente6379248987f4ee86cd37fb8e13482dc19c4fc95
Merge "resourceloader: Misc optimisations in startup module"
resources/src/startup/mediawiki.js