sebastianbergmann/php-code-coverage — pull request #132 by ptarjan (2012-10-26 18:26:42+00:00)
Title: Make class names unique

We ran into a problem with our autoloader map. No-unique classes are just a pain for no gain.