diff --git a/dev/tests/unit/phpunit.xml.dist b/dev/tests/unit/phpunit.xml.dist index da22efa001e62023edca737d21fce161a764a665..5c785e252e48aa8c82aa8bcfe817c761b38ecc23 100644 --- a/dev/tests/unit/phpunit.xml.dist +++ b/dev/tests/unit/phpunit.xml.dist @@ -44,5 +44,8 @@ <!--coverage_clover_placeholder <log type="coverage-clover" target="{{coverage_dir}}/test-reports/phpunit.coverage.xml"/> coverage_clover_placeholder--> + <!--coverage_crap4j_placeholder + <log type="coverage-crap4j" target="{{coverage_dir}}/test-reports/phpunit.crap4j.xml"/> + coverage_crap4j_placeholder--> </logging> </phpunit>