From 4f5f669120b92144181da8db8611d310ab866ae9 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Wed, 20 Sep 2023 16:20:13 +0200
Subject: [PATCH] Install snuffleupagus 0.10.0 by default (#806)

---
 install-php-extensions | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/install-php-extensions b/install-php-extensions
index 4346168..f00e0f8 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -3372,7 +3372,11 @@ installRemoteModule() {
 		snuffleupagus)
 			if test -z "$installRemoteModule_path"; then
 				if test -z "$installRemoteModule_version"; then
-					installRemoteModule_version=0.9.0
+					if test $PHP_MAJMIN_VERSION -le 704; then
+						installRemoteModule_version=0.9.0
+					else
+						installRemoteModule_version=0.10.0
+					fi
 				fi
 				installRemoteModule_src="$(getPackageSource https://codeload.github.com/jvoisin/snuffleupagus/tar.gz/v$installRemoteModule_version)"
 				cd "$installRemoteModule_src/src"