XML Configuration for coverage-php wasn't used. This fixes part php-c…

…ode-coverage 72
sebastianbergmann · Nov 9, 2011 · 9f53344 · 9f53344
1 parent 1cc127e
commit 9f53344
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/PHPUnit/TextUI/TestRunner.php b/PHPUnit/TextUI/TestRunner.php
@@ -661,6 +661,11 @@ protected function handleConfiguration(array &$arguments)
                 !isset($arguments['coverageClover'])) {
                 $arguments['coverageClover'] = $loggingConfiguration['coverage-clover'];
             }
+
+            if (isset($loggingConfiguration['coverage-php']) &&
+                !isset($arguments['coveragePHP'])) {
+                $arguments['coveragePHP'] = $loggingConfiguration['coverage-php'];
+            }
 
             if (isset($loggingConfiguration['coverage-text']) &&
                 !isset($arguments['coverageText'])) {