Fix incorrect comment.

meisterT · Apr 18, 2022 · e8c95c5 · e8c95c5
1 parent 84cd3cb
commit e8c95c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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