Kaldari has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/344893 )

Change subject: "Syntax highlight" should be two words in English, not one
......................................................................

"Syntax highlight" should be two words in English, not one

Change-Id: I499a85e6eecde51cba4562be0e60cf2dd4b9bb93
---
M extension.json
M i18n/en.json
2 files changed, 4 insertions(+), 4 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CodeMirror 
refs/changes/93/344893/1

diff --git a/extension.json b/extension.json
index d81a116..60cd6da 100644
--- a/extension.json
+++ b/extension.json
@@ -23,9 +23,9 @@
                                "ext.CodeMirror.lib",
                                "ext.CodeMirror.other",
                                "mediawiki.api",
+                               "mediawiki.api.options",
                                "jquery.textSelection",
-                               "user.options",
-                               "mediawiki.api.options"
+                               "user.options"
                        ],
                        "scripts": [
                                "ext.CodeMirror.js"
diff --git a/i18n/en.json b/i18n/en.json
index e6753ff..a77c902 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -5,6 +5,6 @@
                ]
        },
        "codemirror-desc": "Provides syntax highlighting in wikitext editor",
-       "codemirror-enable-label": "Enable CodeMirror (Syntaxhighlight)",
-       "codemirror-disable-label": "Disable CodeMirror (Syntaxhighlight)"
+       "codemirror-enable-label": "Enable CodeMirror (Syntax highlight)",
+       "codemirror-disable-label": "Disable CodeMirror (Syntax highlight)"
 }

-- 
To view, visit https://gerrit.wikimedia.org/r/344893
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I499a85e6eecde51cba4562be0e60cf2dd4b9bb93
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeMirror
Gerrit-Branch: master
Gerrit-Owner: Kaldari <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to