Sync with https://github.com/sebastianbergmann/php-code-coverage/commit/9e85f6e53fa077ba365e7e3d4505b247d5487c9b