We're on PHP_CodeCoverage 1.2.18, but 3.0.2 is out. However, that needs PHP 5.6. So we should be good to go for 2.2.4. Except we're using old phpunit
Probably about time for an upgrade... I'd do it myself, but can't obviously see where it's setup/installed (is it just some git checkout on gallium?)