Fix issues found by PHPstan level 7 - Githubissues

DOMjudge / domjudge

DOMjudge programming contest jury system

https://www.domjudge.org

GNU General Public License v2.0

703 stars 249 forks source link

Fix issues found by PHPstan level 7 #2441

Closed vmcj closed 3 months ago