Set PHP 8.2 as minimum, dropping 8.1

.github/jobs/baseinstall.sh

@@ -4,7 +4,7 @@
 
 export version="$1"
 db=${2:-install}
-phpversion="${3:-8.1}"
+phpversion="${3:-8.2}"
 # If this script is called from unit-tests.sh, we use the test environment
 export APP_ENV="${4:-prod}"
 

.github/jobs/unit-tests.sh

@@ -8,7 +8,7 @@ DIR="$PWD"
 
 export version=$1
 unittest=$2
-[ "$version" = "8.1" ] && CODECOVERAGE=1 || CODECOVERAGE=0
+[ "$version" = "8.2" ] && CODECOVERAGE=1 || CODECOVERAGE=0
 
 # Set up
 export unit=1

.github/workflows/codestyle.yml

@@ -46,7 +46,7 @@ jobs:
       image: pipelinecomponents/php-codesniffer:latest
     strategy:
       matrix:
-        PHPVERSION: ["8.1", "8.2", "8.3", "8.4"]
+        PHPVERSION: ["8.2", "8.3", "8.4", "8.5"]
     steps:
       - run: apk add git
       - uses: actions/checkout@v4

.github/workflows/unit-tests.yml

@@ -43,7 +43,7 @@ jobs:
         options: --health-cmd="healthcheck.sh --connect --innodb_initialized" --health-interval=10s --health-timeout=5s --health-retries=3
     strategy:
       matrix:
-        PHPVERSION: [8.1, 8.4]
+        PHPVERSION: [8.2, 8.5]
         TEST: [Unit, E2E]
     steps:
       - uses: actions/checkout@v4

doc/manual/install-domserver.rst

@@ -24,7 +24,7 @@ System requirements
 
 Software requirements
 `````````````````````
-* A web server with support for PHP >= 8.1.0 and the ``mysqli``, ``curl``, ``gd``,
+* A web server with support for PHP >= 8.2.0 and the ``mysqli``, ``curl``, ``gd``,
   ``mbstring``, ``intl``, ``zip``, ``xml`` and ``json`` extensions for PHP.
 * MySQL or MariaDB database. This can be on the same machine, but for
   advanced setups can also run on a dedicated machine.
@@ -109,7 +109,7 @@ with it. Refer to the documentation of your web server and PHP for
 details. In the examples below, replace |phpversion| with the PHP version
 you're installing.
 
-To configure the nginx web server for DOMjudge, use the nginx configuration snippet in 
+To configure the nginx web server for DOMjudge, use the nginx configuration snippet in
 ``etc/nginx-conf``.  You still need ``htpasswd`` from ``apache2-utils``
 though. To use this configuration, perform the following steps:
 

doc/manual/overview.rst

@@ -45,7 +45,7 @@ chapters for detailed software requirements.
 
 * At least one machine to act as the *DOMjudge server* (or *domserver* for
   brevity). The machine needs to be running Linux (or possibly a Unix
-  variant) and a webserver with PHP 8.1.0 or newer. A MySQL or MariaDB
+  variant) and a webserver with PHP 8.2.0 or newer. A MySQL or MariaDB
   database is also needed.
 
 * A number of machines to act as *judgehosts* (at least one). They need to run

webapp/composer.json

@@ -39,7 +39,7 @@
 		}
 	],
 	"require": {
-		"php": "^8.1.0",
+		"php": "^8.2.0",
 		"ext-bcmath": "*",
 		"ext-ctype": "*",
 		"ext-curl": "*",
@@ -136,7 +136,7 @@
 		},
 		"sort-packages": true,
 		"platform": {
-			"php": "8.1.0"
+			"php": "8.2.0"
 		},
 		"allow-plugins": {
 			"composer/package-versions-deprecated": true,

webapp/src/Service/CheckConfigService.php

@@ -117,7 +117,7 @@ public function checkPhpVersion(): ConfigCheckItem
     {
         $this->stopwatch->start(__FUNCTION__);
         $my = PHP_VERSION;
-        $req = '8.1.0';
+        $req = '8.2.0';
         $result = version_compare($my, $req, '>=');
         $this->stopwatch->stop(__FUNCTION__);
         return new ConfigCheckItem(