From c32c1b259c0087ac855f5ba3e181d303605bcfe8 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Wed, 10 Aug 2022 08:35:03 +0200
Subject: [PATCH] Fix installing ast on PHP 7.1- (#624)

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

diff --git a/install-php-extensions b/install-php-extensions
index ce4a5f6..7be4059 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2442,6 +2442,13 @@ installRemoteModule() {
 			# apcu_bc must be loaded after apcu
 			installRemoteModule_ini_basename="xx-php-ext-$installRemoteModule_module"
 			;;
+		ast)
+			if test -z "$installRemoteModule_version"; then
+				if test $PHP_MAJMIN_VERSION -le 701; then
+					installRemoteModule_version=1.0.16
+				fi
+			fi
+			;;
 		blackfire)
 			case $(uname -m) in
 				i386 | i686 | x86)