From 3b4ae66e257d4c3497cf1fb960be058b1212d4a4 Mon Sep 17 00:00:00 2001 From: Tom de Wit Date: Thu, 23 Nov 2023 17:10:17 +0100 Subject: [PATCH] Support Xdebug on PHP 8.3 (#837) --- data/supported-extensions | 2 +- install-php-extensions | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/data/supported-extensions b/data/supported-extensions index d86de02..fc4c63c 100644 --- a/data/supported-extensions +++ b/data/supported-extensions @@ -124,7 +124,7 @@ uuid 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 uv 8.0 8.1 8.2 8.3 vips 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 wddx 5.5 5.6 7.0 7.1 7.2 7.3 -xdebug 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 +xdebug 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 xdiff 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 xhprof 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 xlswriter 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 diff --git a/install-php-extensions b/install-php-extensions index b3ab422..55b250c 100755 --- a/install-php-extensions +++ b/install-php-extensions @@ -3880,6 +3880,8 @@ installRemoteModule() { installRemoteModule_version=2.9.8 elif test $PHP_MAJMIN_VERSION -le 704; then installRemoteModule_version=3.1.6 + elif test $PHP_MAJMIN_VERSION -ge 803; then + installRemoteModule_version=beta fi fi ;;