From 35e4f0146a672e35d25872e6c95d48494f6f50d7 Mon Sep 17 00:00:00 2001
From: Simon Vieille <simon@deblan.fr>
Date: Thu, 2 Dec 2021 16:38:51 +0100
Subject: [PATCH] add PHP 8.1

---
 etc/config.dist | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/etc/config.dist b/etc/config.dist
index 2c44fed..a33f135 100644
--- a/etc/config.dist
+++ b/etc/config.dist
@@ -47,7 +47,7 @@ PHP_FPM72_POOL_PATH=/etc/php/7.2/fpm/pool.d
 PHP_FPM73_POOL_PATH=/etc/php/7.3/fpm/pool.d
 PHP_FPM74_POOL_PATH=/etc/php/7.4/fpm/pool.d
 PHP_FPM74_POOL_PATH=/etc/php/7.4/fpm/pool.d
-PHP_FPM80_POOL_PATH=/etc/php/8.0/fpm/pool.d
+PHP_FPM81_POOL_PATH=/etc/php/8.1/fpm/pool.d
 PHP_FPM56_SERVICE=php5-fpm
 PHP_FPM70_SERVICE=php7.0-fpm
 PHP_FPM71_SERVICE=php7.1-fpm
@@ -55,6 +55,7 @@ PHP_FPM72_SERVICE=php7.2-fpm
 PHP_FPM73_SERVICE=php7.3-fpm
 PHP_FPM74_SERVICE=php7.4-fpm
 PHP_FPM80_SERVICE=php8.0-fpm
+PHP_FPM81_SERVICE=php8.1-fpm
 PHP_56_LABEL="PHP 5.6 (outdated)"
 PHP_70_LABEL="PHP 7.0 (outdated)"
 PHP_71_LABEL="PHP 7.1 (outdated)"