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

Rename our customized matchbrackets addon

Browse source 
Bug: T269096
Change-Id: I5b58099166f71ccc1b3b19334f28e8bbaafaceb3
This commit is contained in:
Thiemo Kreuz 2021-01-14 09:36:37 +01:00 committed by WMDE-Fisch
parent 9ab93e1c54
commit 473a711aaa
3 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Gruntfile.js
View file

@ -12,6 +12,7 @@ module.exports = function ( grunt ) {
}, },
all: [ all: [
'**/*.{js,json}', '**/*.{js,json}',
'!resources/addon/edit/**',
'!resources/lib/**', '!resources/lib/**',
'!{vendor,node_modules}/**' '!{vendor,node_modules}/**'
] ]

2
extension.json
View file

@ -65,7 +65,7 @@
}, },
"ext.CodeMirror.addons": { "ext.CodeMirror.addons": {
"scripts": [ "scripts": [
"lib/codemirror/addon/edit/matchbrackets.js" "addon/edit/matchbrackets-wmde.js"
], ],
"dependencies": [ "dependencies": [
"ext.CodeMirror.lib" "ext.CodeMirror.lib"

0
resources/lib/codemirror/addon/edit/matchbrackets.js → resources/addon/edit/matchbrackets-wmde.js
View file