Redirecting to https://github.com/sebastianbergmann/phpunit/issues/5175