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

Add support for opentelemetry (#727)

Browse source
This commit is contained in:
Michele Locati 2023-04-12 11:01:09 +02:00 • committed by GitHub
parent baadbc2c9f
commit 84b908d3a3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
install-php-extensions
View file

@ -3018,6 +3018,11 @@ installRemoteModule() {
fi
fi
;;
opentelemetry)
if test -z "$installRemoteModule_version"; then
installRemoteModule_version=beta
fi
;;
parallel)
if test -z "$installRemoteModule_version"; then
if test $PHP_MAJMIN_VERSION -le 701; then