Merge "resourceloader: Support loading group=user modules with addModules()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 Apr 2018 19:01:10 +0000 (19:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 Apr 2018 19:01:10 +0000 (19:01 +0000)
commit8518006b9bf0857e35c07729d6263b63ac540989
tree1c6513717ac7a669d3fa208e9623182d9f0b68cd
parent2c7a212afa50fe329801180571db01f62e77c708
parent5ab0dd088861c0c01b5221b109a4e0c54941cbb6
Merge "resourceloader: Support loading group=user modules with addModules()"