public-mirrors/docker-php-extension-installer
1
0
Fork 0
mirror of https://github.com/mlocati/docker-php-extension-installer synced 2025-05-10 00:52:45 +00:00
Code Activity

add new extension jsmin

Browse source
This commit is contained in:
Laurent Laville 2021-07-13 11:12:48 +02:00
parent 29afe98c15
commit ac55a46d2e
2 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
install-php-extensions
View file

@ -1770,6 +1770,13 @@ installRemoteModule() {
cp "$installRemoteModule_src/$installRemoteModule_so" "$(getPHPExtensionsDir)/$installRemoteModule_module.so"
installRemoteModule_manuallyInstalled=1
;;
jsmin)
if test -z "$installRemoteModule_version"; then
if test $PHP_MAJMIN_VERSION -lt 700; then
installRemoteModule_version=2.0.1
fi
fi
;;
lzf)
if test -z "$installRemoteModule_version" || test $(compareVersions "$installRemoteModule_version" '1.5.0') -ge 0; then
# Sacrifice speed in favour of compression ratio?