diff --git a/install-php-extensions b/install-php-extensions index 6f3915a..c11467d 100755 --- a/install-php-extensions +++ b/install-php-extensions @@ -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