From 315e3632be2f354507b7e23365b33ff302cbb7b3 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Mon, 24 Feb 2025 17:38:32 +0100
Subject: [PATCH] Fix installing xmldiff on Debian Jessie (#1071)

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

diff --git a/install-php-extensions b/install-php-extensions
index 2b27e02..8590c57 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -4584,6 +4584,17 @@ installRemoteModule() {
 				addConfigureOption enable-reader yes
 			fi
 			;;
+		xmldiff)
+			installRemoteModule_version="$(resolvePeclStabilityVersion "$installRemoteModule_module" "$installRemoteModule_version")"
+			if test -z "$installRemoteModule_version"; then
+				case "$DISTRO_VERSION" in
+					debian@8)
+						# The gcc version of Debian Jessie is too old => error: 'nullptr' was not declared in this scope
+						installRemoteModule_version=1.1.4
+						;;
+				esac
+			fi
+			;;
 		xmlrpc)
 			if test -z "$installRemoteModule_version"; then
 				installRemoteModule_version=beta