Fix installing excimer on PHP 7.1 (#570)

The issue has already been fixed by
aed4ff8243
but we need to wait for a new version

Test: excimer

install-php-extensions

@@ -2509,6 +2509,13 @@ 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