PHPUnit and PHP version hints