From b8195286b3f5191b1c22cce799ed898ee4e26aaf Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Tue, 12 Jul 2022 14:20:02 +0200
Subject: [PATCH] Fix installing datadog_trace (ddtrace) on PHP 5.x (#610)

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

diff --git a/install-php-extensions b/install-php-extensions
index 08c1caf..d3796fe 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2482,6 +2482,13 @@ installRemoteModule() {
 				fi
 			fi
 			;;
+		ddtrace)
+			if test -z "$installRemoteModule_version"; then
+				if test $PHP_MAJMIN_VERSION -lt 700; then
+					installRemoteModule_version=0.75.0
+				fi
+			fi
+			;;
 		decimal)
 			case "$DISTRO" in
 				alpine)