Leftover from 5e18ee651da9c3254ad5105ad58da90f4a510e7d
Merge branch 'master' of git://github.com/sebastianbergmann/phpunit