sebastianbergmann/php-code-coverage — pull request #133 by hakre (2012-10-27 21:22:39+00:00)
Title: Normalize PHAR path on Windows - Fixes #107

Windows has a different DIRECTORY_SEPARATOR than PHP's `phar://` which
has `/`. Set it.

This fix is broken on systems that have a DIRECTORY_SEPARATOR that is
larger than one byte. No assertion for this edge-case.

Fixes #107