From 378739bbb4e28f95bcd2a51a9b57cd9b96bee133 Mon Sep 17 00:00:00 2001 From: Michele Locati Date: Sat, 17 Jun 2023 22:00:20 +0200 Subject: [PATCH] Support older PHP versions --- data/supported-extensions | 2 +- install-php-extensions | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/data/supported-extensions b/data/supported-extensions index 33ef033..d519e46 100644 --- a/data/supported-extensions +++ b/data/supported-extensions @@ -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 diff --git a/install-php-extensions b/install-php-extensions index 28cda99..cd8c588 100755 --- a/install-php-extensions +++ b/install-php-extensions @@ -3581,7 +3581,11 @@ installRemoteModule() { ;; uv) if test -z "$installRemoteModule_version"; then - installRemoteModule_version=beta + if test $PHP_MAJMIN_VERSION -lt 800; then + installRemoteModule_version=0.2.4 + else + installRemoteModule_version=beta + fi fi ;; xdebug)