Fix
Sync with https://github.com/sebastianbergmann/php-code-coverage/commit/ff0b7a679570cc3a3374cea4fa693d4ef60def7c
Merge branch '3.8'