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?