Fix bad merge
Fix bad merge

didiwuliu/phpunit,sebastianbergmann/phpunit,eelf/phpunit,DonaldKellett/phpunit,luomor/phpunit,masarakki/phpunit,stof/phpunit,tronsha/phpunit,OndraM/phpunit,duncan3dc/phpunit,Firehed/phpunit