More work on HHVM support

sebastianbergmann · sebastianbergmann · commit 1536137583d8 · 2013-10-15T10:47:59.000+02:00
diff --git a/PHP/CodeCoverage.php b/PHP/CodeCoverage.php
@@ -129,7 +129,13 @@ class PHP_CodeCoverage
     public function __construct(PHP_CodeCoverage_Driver $driver = NULL, PHP_CodeCoverage_Filter $filter = NULL)
     {
         if ($driver === NULL) {
-            $driver = new PHP_CodeCoverage_Driver_Xdebug;
+            if (function_exists('fb_enable_code_coverage')) {
+                $driver = new PHP_CodeCoverage_Driver_HHVM;
+            }
+
+            else if (extension_loaded('xdebug')) {
+                $driver = new PHP_CodeCoverage_Driver_Xdebug;
+            }
         }
 
         if ($filter === NULL) {

Original file line number	Diff line number	Diff line change
`@@ -129,7 +129,13 @@ class PHP_CodeCoverage`
`129`	`129`	`public function __construct(PHP_CodeCoverage_Driver $driver = NULL, PHP_CodeCoverage_Filter $filter = NULL)`
`130`	`130`	`{`
`131`	`131`	`if ($driver === NULL) {`
`132`		`- $driver = new PHP_CodeCoverage_Driver_Xdebug;`
	`132`	`+ if (function_exists('fb_enable_code_coverage')) {`
	`133`	`+ $driver = new PHP_CodeCoverage_Driver_HHVM;`
	`134`	`+ }`
	`135`	`+`
	`136`	`+ else if (extension_loaded('xdebug')) {`
	`137`	`+ $driver = new PHP_CodeCoverage_Driver_Xdebug;`
	`138`	`+ }`
`133`	`139`	`}`
`134`	`140`
`135`	`141`	`if ($filter === NULL) {`