Fix type of editors dict

Kevinjil · Kevinjil · commit 7b5b65d7d71e · 2025-11-29T16:22:19.000Z
diff --git a/webapp/public/js/domjudge.js b/webapp/public/js/domjudge.js
@@ -1308,7 +1308,7 @@ const disableButton = (btn) => {
     btn.ariaDisabled=true;
 }
 
-const editors = [];
+const editors = {};
 function initDiffEditor(editorId) {
     const wrapper = $(`#${editorId}-wrapper`);
 

Original file line number	Diff line number	Diff line change
`@@ -1308,7 +1308,7 @@ const disableButton = (btn) => {`
`1308`	`1308`	`btn.ariaDisabled=true;`
`1309`	`1309`	`}`
`1310`	`1310`
`1311`		`-const editors = [];`
	`1311`	`+const editors = {};`
`1312`	`1312`	`function initDiffEditor(editorId) {`
`1313`	`1313`	const wrapper = $(`#${editorId}-wrapper`);
`1314`	`1314`