diff --git a/dist/index.js b/dist/index.js index 71936c8b..c3e16c37 100644 --- a/dist/index.js +++ b/dist/index.js @@ -266,7 +266,7 @@ async function addExtensionDarwin(extension_csv, version) { case /(5\.[3-6]|7\.0)pcov/.test(version_extension): add_script += await utils.getUnsupportedLog('pcov', version, 'darwin'); return; - case /(?/dev/null 2>&1; then mod="${ini_dir:?}"/../mods-available/"$1".ini - [ ! -e "$mod" ] || echo "$2=${ext_dir:?}/$1.so" | sudo tee "$mod" >/dev/null + [ ! -e "$mod" ] || (echo "; priority=${3:'20'}"; echo "$2=${ext_dir:?}/$1.so") | sudo tee "$mod" >/dev/null sudo phpenmod -v "$version" "$1" >/dev/null 2>&1 else echo "$2=${ext_dir:?}/$1.so" | sudo tee -a "${pecl_file:-${ini_file[@]}}" >/dev/null