mirror of
https://github.com/mlocati/docker-php-extension-installer
synced 2025-05-08 16:17:20 +00:00
Signed-off-by: Michael Gooden <me@michaelgooden.net>
This commit is contained in:
parent
581a0d0fbf
commit
db9b4aab47
1 changed files with 1 additions and 0 deletions
|
@ -2738,6 +2738,7 @@ installRemoteModule() {
|
|||
fi
|
||||
if php --ri sockets >/dev/null 2>/dev/null; then
|
||||
installRemoteModule_sockets=yes
|
||||
installRemoteModule_ini_basename="xx-php-ext-$installRemoteModule_module"
|
||||
else
|
||||
installRemoteModule_sockets=no
|
||||
fi
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue