Merge "resourceloader: Fold legacy modules into base modules request"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 13 Apr 2017 01:45:22 +0000 (01:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 13 Apr 2017 01:45:22 +0000 (01:45 +0000)
commit8407bf92437f841dbec35053cfa9e52b385a8006
tree062ba1dde0eb98959cc15ad7f7ae286a5d110817
parent0432618416d9d9b34a76f571c3a9c840739f1038
parent0ac6076b4c0848568868bf36b4d9506ad990160b
Merge "resourceloader: Fold legacy modules into base modules request"
resources/src/mediawiki/mediawiki.js