Sync with https://github.com/sebastianbergmann/phpunit-website/commit/0835e91f15861c1e5251046ffe26bac821910ccf