From 608d9e22594f951092949f80d2eb1ce1caee2198 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Fri, 9 Dec 2022 10:37:38 +0100
Subject: [PATCH] Fix xdebug with PHP 7.2/7.3/7.4, xdebug 3.2 GA (#671)

---
 install-php-extensions | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install-php-extensions b/install-php-extensions
index 7fef33e..72fb4fd 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -3433,8 +3433,8 @@ installRemoteModule() {
 					installRemoteModule_version=2.6.1
 				elif test $PHP_MAJMIN_VERSION -le 701; then
 					installRemoteModule_version=2.9.8
-				elif test $PHP_MAJMIN_VERSION -ge 802; then
-					installRemoteModule_version=beta
+				elif test $PHP_MAJMIN_VERSION -le 704; then
+					installRemoteModule_version=3.1.6
 				fi
 			fi
 			;;