This will become PHPUnit 4.2