From aeb20d355becd57ed52dca237acab6db86a96cab Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Sun, 17 Jan 2021 15:27:09 +0100
Subject: [PATCH] Consider pecl_http as http

---
 scripts/ci-filter-supported-extensions | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/scripts/ci-filter-supported-extensions b/scripts/ci-filter-supported-extensions
index fdc22fa..c5807b4 100755
--- a/scripts/ci-filter-supported-extensions
+++ b/scripts/ci-filter-supported-extensions
@@ -23,6 +23,12 @@ SUPPORTED_EXTENSIONS=''
 resetIFS
 for EXTENSION in $EXTENSIONS_LIST; do
 	printf 'Checking extension "%s"... ' "$EXTENSION" >&2
+	case "$EXTENSION" in
+		pecl_http)
+			EXTENSION=http
+			printf '(using %s) ' "$EXTENSION" >&2
+			;;
+	esac
 	if printf '%s' "$ALL_SUPPORTED_EXTENSIONS" | grep -q "^$EXTENSION\s"; then
 		printf 'supported.\n' >&2
 		SUPPORTED_EXTENSIONS="$SUPPORTED_EXTENSIONS $EXTENSION"