From e8c95c5e6347d8bd7a94ecd654d10920a29529bf Mon Sep 17 00:00:00 2001 From: Tobias Werth Date: Mon, 18 Apr 2022 13:25:36 +0200 Subject: [PATCH] Fix incorrect comment. --- webapp/src/Twig/TwigExtension.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/webapp/src/Twig/TwigExtension.php b/webapp/src/Twig/TwigExtension.php index 8aec5d1621..0ece51caea 100644 --- a/webapp/src/Twig/TwigExtension.php +++ b/webapp/src/Twig/TwigExtension.php @@ -760,7 +760,7 @@ public function runDiff(array $runOutput): string } /** - * Output a (readonly) code editor for the given submission file + * Output a (optionally readonly) code editor for the given submission file. * @param string|null $language Ace language to use * @param bool $editable Whether to allow editing * @param string $elementToUpdate HTML element to update when input changes