Umherirrender has uploaded a new change for review.
https://gerrit.wikimedia.org/r/100140
Change subject: Remove extra comma to avoid fatal in IE7
......................................................................
Remove extra comma to avoid fatal in IE7
This is only a hotfix on loaded files. There are still other files with
extra commas, but the files gets not loaded.
Needs a volunteer for a upstream fix.
Change-Id: Id7426493019c7c9cce5a6d403a6bf3282884635a
---
M modules/ace/mode-lua.js
M modules/ace/mode-scala.js
2 files changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CodeEditor
refs/changes/40/100140/1
diff --git a/modules/ace/mode-lua.js b/modules/ace/mode-lua.js
index 668b163..a4f0b9e 100644
--- a/modules/ace/mode-lua.js
+++ b/modules/ace/mode-lua.js
@@ -61,7 +61,7 @@
"elseif": 1,
"repeat": 1,
"end": -1,
- "until": -1,
+ "until": -1
};
var outdentKeywords = [
"else",
diff --git a/modules/ace/mode-scala.js b/modules/ace/mode-scala.js
index 301c22a..73e4eb9 100644
--- a/modules/ace/mode-scala.js
+++ b/modules/ace/mode-scala.js
@@ -1155,7 +1155,7 @@
"string" : [
{
token : "escape",
- regex : '\\\\"',
+ regex : '\\\\"'
}, {
token : "string",
merge : true,
--
To view, visit https://gerrit.wikimedia.org/r/100140
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Id7426493019c7c9cce5a6d403a6bf3282884635a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeEditor
Gerrit-Branch: master
Gerrit-Owner: Umherirrender <umherirrender_de...@web.de>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
