From b27f9786b83a2abff0aff359deb4ac408b5b9c64 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Tue, 14 Mar 2023 10:14:56 +0100
Subject: [PATCH] Install newer excimer versions on PHP 7.1-7.3 too (#720)

---
 install-php-extensions | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/install-php-extensions b/install-php-extensions
index 865c5d2..f0670e7 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2682,13 +2682,6 @@ installRemoteModule() {
 			# event must be loaded after sockets
 			installRemoteModule_ini_basename="xx-php-ext-$installRemoteModule_module"
 			;;
-		excimer)
-			if test -z "$installRemoteModule_version"; then
-				if test "$DISTRO" = alpine && test $PHP_MAJMIN_VERSION -le 703; then
-					installRemoteModule_version=1.0.4
-				fi
-			fi
-			;;
 		gearman)
 			if test -z "$installRemoteModule_version"; then
 				if test $PHP_MAJMIN_VERSION -le 506; then