php extension request: ext-pcov

[pablorsk]

PHPUnit 8 work with ext-pcov, is double faster than XDebug.

Official repo: https://github.com/krakjoe/pcov

Benchmark by @sebastianbergmann: https://gist.github.com/sebastianbergmann/458c701bc5078f2abede8b7ef4a0c894

Then, is there anyway you could add php-pcov to the list of php extensions available?