Sync with https://github.com/sebastianbergmann/phpunit/commit/5934d899b211737949e441d6b45f4282efeb2e97