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

Start adding support for PHP 5.5

Browse source
This commit is contained in:
Michele Locati 2020-01-31 11:09:13 +01:00
parent d45b59d6b8
commit ea96de853e
No known key found for this signature in database
GPG key ID: 98B7CE2E7234E28B
4 changed files with 20 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

8
scripts/travisci-test-extensions
View file

@ -39,6 +39,14 @@ getDockerImageName() {
done
fi
getDockerImageName_imageName="$(printf 'php:%s-%s-%s' "$getDockerImageName_version" "$getDockerImageName_suffix" "$DOCKER_DISTRO")"
case "$getDockerImageName_imageName" in
php:5.5-cli-jessie)
getDockerImageName_imageName='php:5.5-cli'
;;
php:5.5-zts-jessie)
getDockerImageName_imageName='php:5.5-zts'
;;
esac
if test -z "$(docker images -q "$getDockerImageName_imageName" 2>/dev/null)"; then
getDockerImageName_log="$(docker pull "$getDockerImageName_imageName" 2>&1 || true)"
if test -z "$(docker images -q "$getDockerImageName_imageName" 2>/dev/null)"; then