Reverted changes to PHPUnit bootstrap.php