From 50dd37c7c6856b363aab4a1731c159c40bd1ca1a Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Thu, 1 Jul 2021 08:39:57 +0200
Subject: [PATCH] Declare that we now support PHP 8.1

---
 install-php-extensions | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install-php-extensions b/install-php-extensions
index 1be17a2..5c59da8 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2477,7 +2477,7 @@ esac
 setPHPVersionVariables
 setPHPPreinstalledModules
 case "$PHP_MAJMIN_VERSION" in
-	505 | 506 | 700 | 701 | 702 | 703 | 704 | 800) ;;
+	505 | 506 | 700 | 701 | 702 | 703 | 704 | 800 | 801) ;;
 	*)
 		printf "### ERROR: Unsupported PHP version: %s.%s ###\n" $((PHP_MAJMIN_VERSION / 100)) $((PHP_MAJMIN_VERSION % 100))
 		;;