From f73f856b3a4206a0afa8d692ffe7d13dd4fd655c Mon Sep 17 00:00:00 2001 From: Michael Vasseur <14887731+vmcj@users.noreply.github.com> Date: Sun, 4 Feb 2024 10:50:58 +0100 Subject: [PATCH] Fix missing whitespace --- webapp/src/Controller/Jury/ExecutableController.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/webapp/src/Controller/Jury/ExecutableController.php b/webapp/src/Controller/Jury/ExecutableController.php index 4e43b7a878..63954b325b 100644 --- a/webapp/src/Controller/Jury/ExecutableController.php +++ b/webapp/src/Controller/Jury/ExecutableController.php @@ -108,7 +108,7 @@ public function indexAction(Request $request): Response if (in_array($e, $executablesWithContestProblems)) { foreach (array_merge($e->getProblemsRun()->toArray(), $e->getProblemsCompare()->toArray()) as $execProblem) { $execContestProblems = $execProblem->getContestProblems(); - foreach($contestProblemsWithExecutables as $cp) { + foreach ($contestProblemsWithExecutables as $cp) { if ($execContestProblems->contains($cp)) { $badges[] = $cp; }