Merge remote-tracking branch 'upstream/7.1' into 7.1

* upstream/7.1:
  use PHP 8.2 for Symfony 7 builds

Author: javiereguiluz

.github/workflows/ci.yaml

@@ -90,7 +90,7 @@ jobs:
           - name: Set-up PHP
             uses: shivammathur/setup-php@v2
             with:
-                php-version: 8.1
+                php-version: 8.2
                 coverage: none
 
           - name: Fetch branch from where the PR started