Extensions to PHPUnit