Improve MediaWikiIntegrationTestCase::resetDB()