Fix coreExtensions list

LordCat0 · LordCat0 · commit c9e016853d0a · 2025-12-01T21:18:57.000-05:00
diff --git a/src/extension-support/extension-manager.js b/src/extension-support/extension-manager.js
@@ -38,9 +38,9 @@ const coreExtensions = [
     'sensing',
     'operators',
     'variables',
-    'JSON',
-    'myBlocks',
-    'Comments'
+    'json',
+    'procedures',
+    'comments'
 ];
 
 /**
