From 60e8fd77e1dc4dca7af9093172d13ddb163fbb75 Mon Sep 17 00:00:00 2001
From: Michael Vasseur <14887731+vmcj@users.noreply.github.com>
Date: Sat, 15 Jul 2023 00:34:23 +0200
Subject: [PATCH] Empty required is not allowed in OpenAPI

---
 webapp/src/Controller/API/JudgehostController.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/webapp/src/Controller/API/JudgehostController.php b/webapp/src/Controller/API/JudgehostController.php
index b5e6aacb8a..0b197c00bd 100644
--- a/webapp/src/Controller/API/JudgehostController.php
+++ b/webapp/src/Controller/API/JudgehostController.php
@@ -1182,7 +1182,6 @@ public function getFilesAction(
         response: 200,
         description: 'Returns optionally compiler and runner version commands.',
         content: new OA\JsonContent(
-            required: [],
             properties: [
                 new OA\Property(property: 'compiler_version_command', type: 'string', nullable: true),
                 new OA\Property(property: 'runner_version_command', type: 'string', nullable: true),