jpic/phpunit — comment on commit 47c5f6d127fe6cffc7d82274ba425e745cb7b4bd
File: PHPUnit/Util/Configuration.php line 858
By jpic:

The comment on the previous chunk also applies here. So it would be wise to encapsulate this simple checks in a separate method. What do you think ?