Merge "resourceloader: Ignore coverage for getBaseModulesInternal() wrapper"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Jun 2019 11:20:31 +0000 (11:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Jun 2019 11:20:31 +0000 (11:20 +0000)
commitfe276bb080e087d058116347fe03c9e4b34f404a
treeb1ad6a57af1a570d337ba7697d831e1b7d9bb753
parentec2d1075c266098e34793569fd893fd9dd07b06c
parent5c89c27276296125565c47d7c150b93efcac9791
Merge "resourceloader: Ignore coverage for getBaseModulesInternal() wrapper"
includes/resourceloader/ResourceLoaderStartUpModule.php