Use md5 for cache hashing instead of weak crc32
Use md5 for cache hashing instead of weak crc32


sebastianbergmann/php-code-coverage,sebastianbergmann/php-code-coverage,sebastianbergmann/php-code-coverage