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

Add support for PHP 7.4

Browse source
This commit is contained in:
Michele Locati 2019-10-10 17:52:10 +02:00
parent 224ff8d947
commit 6821d4f848
No known key found for this signature in database
GPG key ID: 98B7CE2E7234E28B
2 changed files with 30 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

9
scripts/travisci-test-new-extensions
View file

@ -27,11 +27,16 @@ fi
# Outputs:
# the full docker image ID
getExtensionImage () {
getExtensionImage_result="php:${2}-cli"
if test "${2}" = '7.4'; then
getExtensionImage_version='7.4.0RC3'
else
getExtensionImage_version="${2}"
fi
getExtensionImage_result="php:${getExtensionImage_version}-cli"
getExtensionImage_reqs="${TRAVIS_BUILD_DIR}/data/special-requirements"
if test -f "${getExtensionImage_reqs}"; then
if test -n "$(cat "${getExtensionImage_reqs}" | grep -E "^${1}[ \t]+zts[ \t]*$")"; then
getExtensionImage_result="php:${2}-zts"
getExtensionImage_result="php:${getExtensionImage_version}-zts"
fi
fi
printf '%s' "${getExtensionImage_result}"