From 9be30b99b5bf9f0ea45421eae77ce67e2893a485 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Mon, 12 Jul 2021 09:05:25 +0200
Subject: [PATCH] Remove with-libdiffmark configure option

It's not defined in package.xml, so pecl won't be able to set it
---
 install-php-extensions | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/install-php-extensions b/install-php-extensions
index 9f7e401..2d8ec5b 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2245,10 +2245,6 @@ installRemoteModule() {
 				fi
 			fi
 			;;
-		xmldiff)
-			# whether to use system diffmark library (not yet supported with PHP 8.x)
-			addConfigureOption 'with-libdiffmark' 'no'
-			;;
 		xlswriter)
 			if test -z "$installRemoteModule_version" || test $(compareVersions "$installRemoteModule_version" 1.2.7) -ge 0; then
 				# enable reader supports?