From 8840a6fe7609bdb86c4a505b57677af773e18433 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Tue, 19 Dec 2023 14:20:12 +0100
Subject: [PATCH] Fix installing jsonpath on php 7.4 (#858)

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

diff --git a/install-php-extensions b/install-php-extensions
index 0be22f0..920637f 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2987,6 +2987,13 @@ installRemoteModule() {
 				fi
 			fi
 			;;
+		jsonpath)
+			if test -z "$installRemoteModule_version"; then
+				if test $PHP_MAJMIN_VERSION -lt 800; then
+					installRemoteModule_version=1.0.1
+				fi
+			fi
+			;;
 		luasandbox)
 			if test -z "$installRemoteModule_version"; then
 				if test $PHP_MAJMIN_VERSION -lt 702; then