wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-13 17:27:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Convert to manifest_version 2"

Browse source
This commit is contained in:
jenkins-bot 2020-05-12 17:43:30 +00:00 committed by Gerrit Code Review
parent d23ffa17cb 58289325f4
commit 3a62cc522b
1 changed files with 19 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

28
extension.json
View file

@ -153,14 +153,24 @@
"BeforePageDisplay": "CodeMirrorHooks::onBeforePageDisplay",
"GetPreferences": "CodeMirrorHooks::onGetPreferences"
},
"VisualEditorPluginModules": [
"ext.CodeMirror.visualEditor.init",
"ext.CodeMirror.visualEditor"
],
"CodeMirrorTagModes": {
"pre": "mw-tag-pre",
"nowiki": "mw-tag-nowiki"
"attributes": {
"CodeMirror": {
"TagModes": {
"pre": "mw-tag-pre",
"nowiki": "mw-tag-nowiki"
}
},
"VisualEditor": {
"PluginModules": [
"ext.CodeMirror.visualEditor.init",
"ext.CodeMirror.visualEditor"
]
}
},
"CodeMirrorPluginModules": [],
"manifest_version": 1
"config": {
"CodeMirrorPluginModules": {
"value": []
}
},
"manifest_version": 2
}