Merge pull request #63 from weierophinney/hotfix/php-8.1-extensions

Allow installing extensions on PHP 8.1 normally
laminas · Dec 2, 2021 · 1496255 · 1496255
2 parents 645680c + c9c5716
commit 1496255
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/scripts/extensions.sh b/scripts/extensions.sh
@@ -14,12 +14,13 @@ function install_extensions {
     done
 
     case "$PHP" in
-        8.1)
-            echo "Cannot install extensions for the current PHP version."
-            echo "Please use \".laminas-ci/pre-run.sh\" to setup specific extensions for PHP $PHP"
-            echo "Additional details can be found on https://stackoverflow.com/q/8141407"
-            echo "The following extensions were not installed: ${EXTENSIONS[*]}"
-        ;;
+		# Example for handling extensions for different PHP versions:
+        # 8.1)
+        #     echo "Cannot install extensions for the current PHP version."
+        #     echo "Please use \".laminas-ci/pre-run.sh\" to setup specific extensions for PHP $PHP"
+        #     echo "Additional details can be found on https://stackoverflow.com/q/8141407"
+        #     echo "The following extensions were not installed: ${EXTENSIONS[*]}"
+        # ;;
         *)
             install_packaged_extensions "$PHP" "${EXTENSIONS[@]}"
         ;;