Fix issue reported in https://github.com/sebastianbergmann/php-code-coverage/commit/b3ed716433a142591a436e848e5dd2298acdea51#commitcomment-5831664
Fix issue reported in https://github.com/sebastianbergmann/php-code-coverage/commit/b3ed716433a142591a436e848e5dd2298acdea51#commitcomment-5831664

iFixit/php-code-coverage,sebastianbergmann/php-code-coverage,theseer/php-code-coverage,sebastianbergmann/php-code-coverage,theseer/php-code-coverage,bwoebi/php-code-coverage,tarlabs/php-code-coverage-fix,Koc/php-code-coverage,kelunik/php-code-coverage,sebastianbergmann/php-code-coverage,dnalini/PHP-CODE-Coverage,tarlabs/php-code-coverage-fix,theseer/php-code-coverage