Raise minimum PHP version to 8.1; add 8.3 to GitHub Actions.

.github/workflows/ci.yaml

@@ -11,15 +11,15 @@ jobs:
       VUFIND_LOCAL_DIR: $GITHUB_WORKSPACE/local
     strategy:
       matrix:
-        php-version: ['8.0', '8.1', '8.2']
+        php-version: ['8.1', '8.2', '8.3']
         # We run most tests on all platforms, but we only run Javascript-related tests in 8.1.
         # Since the results should be the same on all platforms, we don't need to repeat them.
         include:
-          - php-version: 8.0
-            phing_tasks: "qa-php"
           - php-version: 8.1
-            phing_tasks: "qa-console"
+            phing_tasks: "qa-php"
           - php-version: 8.2
+            phing_tasks: "qa-console"
+          - php-version: 8.3
             phing_tasks: "qa-php"
 
     steps:

composer.json

@@ -10,7 +10,7 @@
     "license": "GPL-2.0",
     "config": {
         "platform": {
-            "php": "8.0"
+            "php": "8.1"
         },
         "process-timeout": 0,
         "allow-plugins": {
@@ -25,7 +25,7 @@
         "ext-sodium": "*"
     },
     "require": {
-        "php": ">=8.0",
+        "php": ">=8.1",
         "ahand/mobileesp": "dev-master",
         "apereo/phpcas": "1.6.1",
         "cap60552/php-sip2": "1.0.0",