Fix xdebug with PHP 7.2/7.3/7.4, xdebug 3.2 GA (#671)

pull/676/head 1.5.51
Michele Locati 2022-12-09 10:37:38 +01:00 committed by GitHub
parent 8a6cafc232
commit 608d9e2259
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -3433,8 +3433,8 @@ installRemoteModule() {
installRemoteModule_version=2.6.1 installRemoteModule_version=2.6.1
elif test $PHP_MAJMIN_VERSION -le 701; then elif test $PHP_MAJMIN_VERSION -le 701; then
installRemoteModule_version=2.9.8 installRemoteModule_version=2.9.8
elif test $PHP_MAJMIN_VERSION -ge 802; then elif test $PHP_MAJMIN_VERSION -le 704; then
installRemoteModule_version=beta installRemoteModule_version=3.1.6
fi fi
fi fi
;; ;;