Fix code style of judgedaemon code#3264

nickygerritsen merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

nickygerritsen:phpcs-judgedaemonnickygerritsen/domjudge:phpcs-judgedaemonCopy head branch name to clipboard