diff options
Diffstat (limited to 'src/php')
| -rw-r--r-- | src/php/devcontainer-feature.json | 2 | ||||
| -rwxr-xr-x | src/php/install.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/php/devcontainer-feature.json b/src/php/devcontainer-feature.json index bad9878..edf56eb 100644 --- a/src/php/devcontainer-feature.json +++ b/src/php/devcontainer-feature.json @@ -1,6 +1,6 @@ { "id": "php", - "version": "1.0.9", + "version": "1.0.10", "name": "PHP", "documentationURL": "https://github.com/devcontainers/features/tree/main/src/php", "options": { diff --git a/src/php/install.sh b/src/php/install.sh index 381bec2..4d0b2ea 100755 --- a/src/php/install.sh +++ b/src/php/install.sh @@ -169,7 +169,7 @@ install_php() { VERSION_CONFIG="--with-pear" fi - ./configure --prefix="${PHP_INSTALL_DIR}" --with-config-file-path="$PHP_INI_DIR" --with-config-file-scan-dir="$CONF_DIR" --enable-option-checking=fatal --with-curl --with-libedit --with-openssl --with-zlib --with-password-argon2 --with-sodium=shared "$VERSION_CONFIG" EXTENSION_DIR="$PHP_EXT_DIR"; + ./configure --prefix="${PHP_INSTALL_DIR}" --with-config-file-path="$PHP_INI_DIR" --with-config-file-scan-dir="$CONF_DIR" --enable-option-checking=fatal --with-curl --with-libedit --enable-mbstring --with-openssl --with-zlib --with-password-argon2 --with-sodium=shared "$VERSION_CONFIG" EXTENSION_DIR="$PHP_EXT_DIR"; make -j "$(nproc)" find -type f -name '*.a' -delete |