Sync sebastianbergmann/phpunit@b8b3e1f