Support older PHP versions

This commit is contained in:
Michele Locati 2023-06-17 22:00:20 +02:00
parent 8ecabb0e09
commit 378739bbb4
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
2 changed files with 6 additions and 2 deletions

View File

@ -116,7 +116,7 @@ timezonedb 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
uopz 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
uploadprogress 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
uuid 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
uv 8.0 8.1 8.2
uv 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
vips 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
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

View File

@ -3581,8 +3581,12 @@ installRemoteModule() {
;;
uv)
if test -z "$installRemoteModule_version"; then
if test $PHP_MAJMIN_VERSION -lt 800; then
installRemoteModule_version=0.2.4
else
installRemoteModule_version=beta
fi
fi
;;
xdebug)
if test -z "$installRemoteModule_version"; then