phpunit:coverage-edit uses a hardcoded list to populate the phpunit.xml whitelist, but it would be better to read the extension.json/skin.json file to determine which directories to add to the whitelist.