Update webapp/src/Twig/TwigExtension.php

vmcj · web-flow · commit a35cf130723c · 2025-10-31T23:31:11.000+01:00
diff --git a/webapp/src/Twig/TwigExtension.php b/webapp/src/Twig/TwigExtension.php
@@ -1412,7 +1412,7 @@ public function extensionToMime(string $extension): string
     public function domjudgeMarkdownToHTML(string $markdown): string
     {
         $latexFound = [];
-        while(true) {
+        while (true) {
             $start = strpos($markdown,'$$');
             $end = strpos(substr($markdown, $start+2), '$$');
             if ($start === false || $end === false) {

Original file line number	Diff line number	Diff line change
`@@ -1412,7 +1412,7 @@ public function extensionToMime(string $extension): string`
`1412`	`1412`	`public function domjudgeMarkdownToHTML(string $markdown): string`
`1413`	`1413`	`{`
`1414`	`1414`	`$latexFound = [];`
`1415`		`- while(true) {`
	`1415`	`+ while (true) {`
`1416`	`1416`	`$start = strpos($markdown,'$$');`
`1417`	`1417`	`$end = strpos(substr($markdown, $start+2), '$$');`
`1418`	`1418`	`if ($start === false \|\| $end === false) {`