public-mirrors/docker-php-extension-installer
1
0
Fork 0
mirror of https://github.com/mlocati/docker-php-extension-installer synced 2025-05-09 16:42:41 +00:00
Code Activity

Fix installing jsonpath on php 7.4 (#858)

Browse source
This commit is contained in:
Michele Locati 2023-12-19 14:20:12 +01:00 • committed by GitHub
parent f465546238
commit 8840a6fe76
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
install-php-extensions
View file

@ -2987,6 +2987,13 @@ installRemoteModule() {
fi
fi
;;
jsonpath)
if test -z "$installRemoteModule_version"; then
if test $PHP_MAJMIN_VERSION -lt 800; then
installRemoteModule_version=1.0.1
fi
fi
;;
luasandbox)
if test -z "$installRemoteModule_version"; then
if test $PHP_MAJMIN_VERSION -lt 702; then