sebastianbergmann/phpunit — comment on commit d04fc279db4dc87c9e004abdee43dab566c634e7
File:  line 0
By edorian:

This could just be `$file = realpath($file);` but i wanted to stay as close to how directory scanning works as possible, just in case. Not sure if thats needed though.