Merge "resourceloader: Remove obsolete aliases from closure"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 4 Sep 2018 12:54:21 +0000 (12:54 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 4 Sep 2018 12:54:21 +0000 (12:54 +0000)
commit13e8478a636f003ebf4e80f2db07a1be3f68e757
tree9c62d02405adbce740028bc6ee5304e552664c86
parentb9fd6b1327ad50ce085cf8b0b874d397d7b7082a
parent91f950d6b0677166134bc58eb487943a63f97b00
Merge "resourceloader: Remove obsolete aliases from closure"
.eslintrc.json
resources/src/startup/mediawiki.js
resources/src/startup/startup.js