From e8cf38713bb730a1a3c501658ec2988cb4046501 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Tue, 24 Dec 2019 10:20:45 +0100
Subject: [PATCH] Add support for raphf

---
 data/supported-extensions | 1 +
 install-php-extensions    | 5 +++++
 2 files changed, 6 insertions(+)

diff --git a/data/supported-extensions b/data/supported-extensions
index 0758ed5..f2a9f48 100644
--- a/data/supported-extensions
+++ b/data/supported-extensions
@@ -44,6 +44,7 @@ protobuf 5.6 7.0 7.1 7.2 7.3 7.4
 pspell 5.6 7.0 7.1 7.2 7.3 7.4
 pthreads 5.6 7.0
 rdkafka 5.6 7.0 7.1 7.2 7.3 7.4
+raphf 5.6 7.0 7.1 7.2 7.3 7.4
 recode 5.6 7.0 7.1 7.2 7.3
 redis 5.6 7.0 7.1 7.2 7.3 7.4
 shmop 5.6 7.0 7.1 7.2 7.3 7.4
diff --git a/install-php-extensions b/install-php-extensions
index b0b1253..ec2a5bc 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -1016,6 +1016,11 @@ installPECLModule() {
 				installPECLModule_actual="$2-2.0.10"
 			fi
 			;;
+		raphf)
+			if test $1 -lt 700; then
+				installPECLModule_actual="$2-1.1.2"
+			fi
+			;;
 		rdkafka)
 			installPECLModule_tmp=
 			case "$(getDistro)" in