From c455546ffc22a1831938a9ff6e7fc60ecedc48c6 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Thu, 25 May 2023 11:22:07 +0200
Subject: [PATCH] Add support for bitset (#748)

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

diff --git a/data/supported-extensions b/data/supported-extensions
index 6607058..42eff12 100644
--- a/data/supported-extensions
+++ b/data/supported-extensions
@@ -3,6 +3,7 @@ apcu 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
 apcu_bc 7.0 7.1 7.2 7.3 7.4
 ast 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
 bcmath 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
+bitset 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
 blackfire 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
 bz2 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
 calendar 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
diff --git a/install-php-extensions b/install-php-extensions
index 1d678ea..e878ba1 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2518,6 +2518,13 @@ installRemoteModule() {
 				fi
 			fi
 			;;
+		bitset)
+			if test -z "$installRemoteModule_version"; then
+				if test $PHP_MAJMIN_VERSION -le 506; then
+					installRemoteModule_version=2.0.4
+				fi
+			fi
+			;;
 		blackfire)
 			case $(uname -m) in
 				i386 | i686 | x86)