More work on PCOV support

Author: sebastianbergmann

src/Report/Html/Renderer.php

@@ -265,6 +265,13 @@ private function getRuntimeString(): string
             );
         }
 
+        if ($runtime->hasPCOV() && !$runtime->hasPHPDBGCodeCoverage()) {
+            $buffer .= \sprintf(
+                ' with <a href="https://github.com/krakjoe/pcov">PCOV %s</a>',
+                \phpversion('pcov')
+            );
+        }
+
         return $buffer;
     }
 }

src/Report/Xml/BuildInformation.php

@@ -42,6 +42,11 @@ public function setRuntimeInformation(Runtime $runtime): void
             $driverNode->setAttribute('name', 'xdebug');
             $driverNode->setAttribute('version', \phpversion('xdebug'));
         }
+
+        if ($runtime->hasPCOV()) {
+            $driverNode->setAttribute('name', 'pcov');
+            $driverNode->setAttribute('version', \phpversion('pcov'));
+        }
     }
 
     public function setBuildTime(\DateTime $date): void