Merge "mw.loader: Document mw.loader.require() as private"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 20 Feb 2018 17:07:51 +0000 (17:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 20 Feb 2018 17:07:51 +0000 (17:07 +0000)
commitdc06d553be36318b88caf7837a39c41b97364dea
tree2bdfcd3e68104be18771f9e5ce917511e5fa1446
parent2b11f88e250156f105338f5a8876133f55b2d831
parent28aad9af384e17fc6192cc58ec1f019141248d93
Merge "mw.loader: Document mw.loader.require() as private"