Merge "resourceloader: Use null-objects for 'sources' and 'registry'"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 20 Sep 2018 07:57:58 +0000 (07:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 20 Sep 2018 07:57:58 +0000 (07:57 +0000)
commitfc2a88f66642590dda149590bdb72c5fc9ab5795
treef8879cede138049a0ba1229f2f5832f146d33930
parent59e694408b9dbc6a377a0f5104cd682eaa376633
parent46daa86cb11fe69a8b2fa027cff76033ca5231d5
Merge "resourceloader: Use null-objects for 'sources' and 'registry'"
resources/src/startup/mediawiki.js