Reformat of the PHPunit file