diff --git a/Dockerfile b/Dockerfile index b1434d9..e2bafc0 100644 --- a/Dockerfile +++ b/Dockerfile @@ -57,6 +57,8 @@ RUN chmod a+x /scripts/* RUN /scripts/php_ini_dev_settings.sh COPY entrypoint.sh /usr/local/bin/entrypoint.sh +COPY php-extensions-with-version.php /usr/local/bin/php-extensions-with-version.php +RUN chmod +x /usr/local/bin/php-extensions-with-version.php RUN useradd -ms /bin/bash testuser diff --git a/entrypoint.sh b/entrypoint.sh index b1beead..be09418 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -170,7 +170,7 @@ fi echo "PHP version: $(php --version)" echo "Installed extensions:" -php -m +/usr/local/bin/php-extensions-with-version.php # If a token is present, tell Composer about it so we can avoid rate limits if [[ "${GITHUB_TOKEN}" != "" ]];then diff --git a/php-extensions-with-version.php b/php-extensions-with-version.php new file mode 100644 index 0000000..5b004e8 --- /dev/null +++ b/php-extensions-with-version.php @@ -0,0 +1,6 @@ +#!/usr/bin/env php +