jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/348673 )
Change subject: Highlight text inside <ref> tags as a wikitext in CodeMirror
editor
......................................................................
Highlight text inside <ref> tags as a wikitext in CodeMirror editor
see bug T163238
Depends-On: Idb7a1a5769a1047ef2f7cd25a7152f73a6613225
Change-Id: I1bf156fa813af4d5f891619f692047bbdb8a1a86
---
M extension.json
1 file changed, 3 insertions(+), 0 deletions(-)
Approvals:
jenkins-bot: Verified
Kaldari: Looks good to me, approved
diff --git a/extension.json b/extension.json
index ac9cd43..60c39ef 100644
--- a/extension.json
+++ b/extension.json
@@ -110,5 +110,8 @@
"TrackingCategories": [
"cite-tracking-category-cite-error"
],
+ "CodeMirrorTagModes": {
+ "ref": "text/mediawiki"
+ },
"manifest_version": 1
}
--
To view, visit https://gerrit.wikimedia.org/r/348673
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1bf156fa813af4d5f891619f692047bbdb8a1a86
Gerrit-PatchSet: 5
Gerrit-Project: mediawiki/extensions/Cite
Gerrit-Branch: master
Gerrit-Owner: Pastakhov <pastak...@yandex.ru>
Gerrit-Reviewer: Jackmcbarn <jackmcb...@gmail.com>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Kaldari <rkald...@wikimedia.org>
Gerrit-Reviewer: Pastakhov <pastak...@yandex.ru>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
