From 518035514e2f49a93671e1aebb82de0020b2c152 Mon Sep 17 00:00:00 2001
From: Maurizio Moreo <maurizio.moreo@gmail.com>
Date: Sun, 9 Apr 2023 09:27:52 +0200
Subject: [PATCH] Add PHPDBG availability check

---
 src/Support/Coverage.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/Support/Coverage.php b/src/Support/Coverage.php
index 55e544b4..526b15fa 100644
--- a/src/Support/Coverage.php
+++ b/src/Support/Coverage.php
@@ -46,6 +46,10 @@ final class Coverage
             return true;
         }
 
+        if ($runtime->hasPHPDBGCodeCoverage()) {
+            return true;
+        }
+
         if (! $runtime->hasXdebug()) {
             return true;
         }