Fix installing ast on PHP 7.1- (#624)

2022-08-10 08:35:03 +02:00 · 2022-08-10 08:35:03 +02:00 · c32c1b259c
parent 05ddea7f49
commit c32c1b259c
1 changed files with 7 additions and 0 deletions
--- a/7
+++ b/7
@ -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)