Merge branch 'master' into merge

luau-lang · Sep 15, 2023 · 55d7a99 · 55d7a99
2 parents 789ece0 + a35d3d4
commit 55d7a99
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/assets/js/luau_mode.js b/docs/assets/js/luau_mode.js
@@ -17,10 +17,10 @@
     var indentUnit = 4;
 
     function prefixRE(words) {
-        return new RegExp("^(?:" + words.join("|") + ")", "i");
+        return new RegExp("^(?:" + words.join("|") + ")");
     }
     function wordRE(words) {
-        return new RegExp("^(?:" + words.join("|") + ")$", "i");
+        return new RegExp("^(?:" + words.join("|") + ")$");
     }
     var specials = wordRE(parserConfig.specials || ["type"]);