From b2ce4329106fff1c97bdafeb425e0c49dafda4da Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Sat, 7 May 2022 19:07:44 +0200
Subject: [PATCH] Use latest excim version on PHP 7.1 too (#571)

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

diff --git a/install-php-extensions b/install-php-extensions
index ad1ec52..f75a9cd 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2509,13 +2509,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 $PHP_MAJMIN_VERSION -le 701; then
-					installRemoteModule_version=1.0.2
-				fi
-			fi
-			;;
 		gearman)
 			if test -z "$installRemoteModule_version"; then
 				if test $PHP_MAJMIN_VERSION -le 506; then