Change Details

We're on PHP_CodeCoverage 1.2.18, but 3.0.2 is out 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?)

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 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?)

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 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?)