php-phpunit-PHP-CodeCoverage: 1.2.13
php-phpunit-PHPUnit: 3.7.25 (no change)