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