[mixphp] Update fpm/fastcgi to php 8.1 (#6910)

frameworks/PHP/mixphp/benchmark_config.json

@@ -15,7 +15,7 @@
         "database": "MySQL",
         "framework": "MixPHP",
         "language": "PHP",
-        "flavor": "PHP8",
+        "flavor": "PHP8.1",
         "orm": "micro",
         "platform": "FPM/FastCGI",
         "webserver": "nginx",

frameworks/PHP/mixphp/mixphp.dockerfile

@@ -4,11 +4,11 @@ ARG DEBIAN_FRONTEND=noninteractive
 
 RUN apt-get update -yqq && apt-get install -yqq software-properties-common > /dev/null
 RUN LC_ALL=C.UTF-8 add-apt-repository ppa:ondrej/php
-RUN apt-get update -yqq && apt-get install -yqq git unzip wget curl build-essential nginx php8.0-fpm php8.0-mysql  > /dev/null
+RUN apt-get update -yqq && apt-get install -yqq git unzip wget curl build-essential nginx php8.1-fpm php8.1-mysql php8.1-dev > /dev/null
 
-COPY deploy/conf/* /etc/php/8.0/fpm/
+COPY deploy/conf/* /etc/php/8.1/fpm/
 
-RUN if [ $(nproc) = 2 ]; then sed -i "s|pm.max_children = 1024|pm.max_children = 512|g" /etc/php/8.0/fpm/php-fpm.conf ; fi;
+RUN if [ $(nproc) = 2 ]; then sed -i "s|pm.max_children = 1024|pm.max_children = 512|g" /etc/php/8.1/fpm/php-fpm.conf ; fi;
 
 ADD ./ /mixphp
 WORKDIR /mixphp
@@ -22,5 +22,5 @@ RUN chmod -R 777 /mixphp/runtime/logs
 
 EXPOSE 8080
 
-CMD service php8.0-fpm start && \
+CMD service php8.1-fpm start && \
     nginx -c /mixphp/deploy/nginx.conf