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?)
| Status | Subtype | Assigned | Task | ||
|---|---|---|---|---|---|
| Resolved | Krinkle | T122530 Upgrade PHP_CodeCoverage | |||
| Resolved | Krinkle | T99982 Upgrade PHPUnit to 4.0+ | |||
| Resolved | Krinkle | T112895 Support installing composer require-dev packages together with mediawiki/vendor |
As part of T99982, phpunit/php-code-coverage was implicitly upgraded to v2.2.4 as it is a dependency of PHPUnit, which specifies which version it uses. (It shouldn't be overridden separately.)
First passing build with the new version:
https://integration.wikimedia.org/ci/job/mediawiki-core-code-coverage/1852/
https://integration.wikimedia.org/cover/mediawiki-core/master/php/
Yay!