This commit is contained in:
Daniil Gentili 2023-05-27 18:05:07 +02:00
parent 3d71d131cd
commit 9a17fb1a17
Signed by: danog
GPG Key ID: 8C1BE3B34B230CA7

View File

@ -3079,6 +3079,10 @@ installRemoteModule() {
mv "$installRemoteModule_src/include" /usr/local/include/hat-trie mv "$installRemoteModule_src/include" /usr/local/include/hat-trie
fi fi
;; ;;
pq)
# pq must be loaded after raphf
installRemoteModule_ini_basename="xx-php-ext-$installRemoteModule_module"
;;
propro) propro)
if test -z "$installRemoteModule_version"; then if test -z "$installRemoteModule_version"; then
if test $PHP_MAJMIN_VERSION -le 506; then if test $PHP_MAJMIN_VERSION -le 506; then