Additions to PHPUnit instructions