skip phar archives, to avoid mysterious empty reports

Author: pepov

PHP/CodeCoverage.php

@@ -351,6 +351,9 @@ public function getSummary()
 
             foreach ($this->data as $test => $coverage) {
                 foreach ($coverage['filtered'] as $file => $lines) {
+                    if (strncmp($file, 'phar://', 7) === 0) {
+                        continue;
+                    }
                     foreach ($lines as $line => $flag) {
                         if ($flag == 1) {
                             if (!isset($this->summary[$file][$line][0])) {
@@ -371,6 +374,9 @@ public function getSummary()
                 }
 
                 foreach ($coverage['raw'] as $file => $lines) {
+                    if (strncmp($file, 'phar://', 7) === 0) {
+                        continue;
+                    }
                     foreach ($lines as $line => $flag) {
                         if ($flag != 1 &&
                             !isset($this->summary[$file][$line][0])) {