Merge "phpunit: Add more info to LocalSettings.php error in MediaWikiIntegrationTestCase"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 2 Sep 2019 08:55:51 +0000 (08:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 2 Sep 2019 08:55:51 +0000 (08:55 +0000)
commit7dd780846cf378c17a4d8a40e80b9e3f42818e44
tree603bf6bb2f5f3439cda5413e7a0fb45dab9276f5
parent4f7513e6badb1e7a62d644275f498737c19e13e6
parenteccceb8f1dc2e2c356cef0cc509f1443b10d0549
Merge "phpunit: Add more info to LocalSettings.php error in MediaWikiIntegrationTestCase"
tests/phpunit/MediaWikiIntegrationTestCase.php