Update phpstan and sentry for PHP 8.4 compatibility

.github/workflows/integration.yml

@@ -78,12 +78,22 @@ jobs:
             grep "No submissions in queue" /opt/domjudge/judgehost/log/judge*-0.log && break
           done
       - name: dump the db
+        if: ${{ !cancelled() }}
         run: mysqldump -uroot -proot domjudge > /tmp/db.sql
-      - name: Upload artifact for debugging
+      - name: Upload database dump for debugging
+        if: ${{ !cancelled() }}
         uses: actions/upload-artifact@v3
         with:
           name: DB-dump
           path: /tmp/db.sql
+      - name: Upload all logs/artifacts
+        if: ${{ !cancelled() }}
+        uses: actions/upload-artifact@v4
+        with:
+          name: Logs
+          path: |
+            /var/log/nginx
+            /opt/domjudge/domserver/webapp/var/log/*.log
       - name: Verifying submissions
         shell: bash
         run: |

webapp/composer.json

@@ -78,7 +78,7 @@
 		"ramsey/uuid": "^4.2",
 		"riverline/multipart-parser": "^2.1",
 		"select2/select2": "4.*",
-		"sentry/sentry-symfony": "^4.5",
+		"sentry/sentry-symfony": "^5.0",
 		"symfony/asset": "6.4.*",
 		"symfony/browser-kit": "6.4.*",
 		"symfony/console": "6.4.*",