From 0a0f2dfc5e7a0b12c2da6e29f0a4e8b6a2f26427 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Mon, 15 May 2023 14:42:41 +0200
Subject: [PATCH] Parle: fix support on PHP 7.3-, enable internal UTF-32
 support (#745)

---
 install-php-extensions | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/install-php-extensions b/install-php-extensions
index 9c08daf..16754e2 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -3038,7 +3038,16 @@ installRemoteModule() {
 			;;
 		parle)
 			if test -z "$installRemoteModule_version"; then
-				installRemoteModule_version=beta
+				if test $PHP_MAJMIN_VERSION -lt 704; then
+					installRemoteModule_version=0.8.3
+				else
+					installRemoteModule_version=beta
+				fi
+			fi
+			installRemoteModule_version="$(resolvePeclStabilityVersion "$installRemoteModule_module" "$installRemoteModule_version")"
+			if test -z "$installRemoteModule_version" || test $(compareVersions "$installRemoteModule_version" 0.8.4) -ge 0; then
+				# Enable internal UTF-32 support in parle
+				addConfigureOption enable-parle-utf32 yes
 			fi
 			;;
 		pcov)