From d86be8c965de4541033c104493160f94c6905d81 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Mon, 10 Jan 2022 15:47:37 +0100
Subject: [PATCH] Fix installing lzf of PHP 7.1- (#492)

Test: lzf
---
 install-php-extensions | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/install-php-extensions b/install-php-extensions
index a23d491..52b24a0 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2255,6 +2255,11 @@ installRemoteModule() {
 			fi
 			;;
 		lzf)
+			if test -z "$installRemoteModule_version"; then
+				if test $PHP_MAJMIN_VERSION -lt 702; then
+					installRemoteModule_version=1.6.8
+				fi
+			fi
 			if test -z "$installRemoteModule_version" || test $(compareVersions "$installRemoteModule_version" '1.5.0') -ge 0; then
 				# Sacrifice speed in favour of compression ratio?
 				case "${IPE_LZF_BETTERCOMPRESSION:-}" in