Add coreex alias to extensions

rosics-code · web-flow · commit 5e672d440194 · 2025-12-09T07:31:18.000-05:00
diff --git a/syntax/extensions.js b/syntax/extensions.js
@@ -24,6 +24,7 @@ export const extensions = {
   makeymakey: "makeymakey",
   ev3: "ev3",
   boost: "boost",
+  coreex: "coreex",
 }
 
 // Alias extensions: unlike movedExtensions, this is handled for both scratch2 and scratch3.

Original file line number	Diff line number	Diff line change
`@@ -24,6 +24,7 @@ export const extensions = {`
`24`	`24`	`makeymakey: "makeymakey",`
`25`	`25`	`ev3: "ev3",`
`26`	`26`	`boost: "boost",`
	`27`	`+ coreex: "coreex",`
`27`	`28`	`}`
`28`	`29`
`29`	`30`	`// Alias extensions: unlike movedExtensions, this is handled for both scratch2 and scratch3.`