From cd91e690190551adb068ba0e968ca9673daf419b Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Tue, 27 Oct 2020 07:32:44 +0100
Subject: [PATCH] fix for xdebug v3

---
 src/CLI.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/CLI.php b/src/CLI.php
index 3c78ce8..5c87b3b 100644
--- a/src/CLI.php
+++ b/src/CLI.php
@@ -591,7 +591,9 @@ private function preBootstrap() {
                 ini_set('xdebug.scream', 0);
                 ini_set('xdebug.max_nesting_level', 8192);
                 ini_set('xdebug.show_exception_trace', 0);
-                xdebug_disable();
+                if (function_exists('xdebug_disable')) { // Xdebug v2
+                    xdebug_disable();
+                }
             }
 
         }