From fbce2f2f7f6e93252817f1bc0a43ccadc520e02d Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Sun, 18 Oct 2020 20:48:31 +0200
Subject: [PATCH] Fix ci-test-extensions sed

---
 scripts/ci-test-extensions | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/ci-test-extensions b/scripts/ci-test-extensions
index a0d17cf..d0477d1 100755
--- a/scripts/ci-test-extensions
+++ b/scripts/ci-test-extensions
@@ -245,7 +245,7 @@ testExtension() {
 	testExtensionsFromMessage_result=0
 	IFS=' '
 	for testExtension_extension in $1; do
-		testExtension_extension="$(printf '%s' "$testExtension_extension" | sed 's/\+/ /g')"
+		testExtension_extension="$(printf '%s' "$testExtension_extension" | sed -E 's/\+/ /g')"
 		printf '### TESTING EXTENSION(S) %s ###\n' "$testExtension_extension"
 		for testExtension_phpVersion in $(getAllPHPVersionsForExtensions "$testExtension_extension"); do
 			if ! testExtensionFor "$testExtension_extension" "$testExtension_phpVersion"; then