From 040be88dae2f801a31706096556203c033c72772 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Fri, 15 Mar 2024 17:17:38 +0100
Subject: [PATCH] Fix installing protobuf on PHP 8.0 (#899)

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

diff --git a/install-php-extensions b/install-php-extensions
index e836f94..5489ce4 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -3372,6 +3372,8 @@ installRemoteModule() {
 					installRemoteModule_version=3.12.4
 				elif test $PHP_MAJMIN_VERSION -lt 800; then
 					installRemoteModule_version=3.24.4
+				elif test $PHP_MAJMIN_VERSION -lt 801; then
+					installRemoteModule_version=3.25.3
 				fi
 			fi
 			;;