From 19c94db198d69f0d558110682cbcda2c04aef585 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Wed, 5 Feb 2025 17:49:47 +0100
Subject: [PATCH] Fix installing snuffleupagus on PHP 8.1

Test: snuffleupagus
---
 install-php-extensions | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/install-php-extensions b/install-php-extensions
index fceb0c57..5f47de6e 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -3973,6 +3973,8 @@ installRemoteModule() {
 				if test -z "$installRemoteModule_version"; then
 					if test $PHP_MAJMIN_VERSION -le 800; then
 						installRemoteModule_version=0.9.0
+					elif test $PHP_MAJMIN_VERSION -le 801; then
+						installRemoteModule_version=0.10.0
 					else
 						installRemoteModule_version=0.11.0
 					fi