wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 14:56:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

extension.json: Drop RL targets definitions, no longer honoured

Browse source 
Bug: T328497
Change-Id: Ibbdd8e48a527f7b37482a7366300a8bd6ac21f58
This commit is contained in:
James D. Forrester 2024-01-12 08:43:37 -05:00
parent b3279e4382
commit 3a440c1389
1 changed files with 0 additions and 20 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
extension.json
View file

@ -39,10 +39,6 @@
},
"ResourceModules": {
"ext.codeEditor": {
"targets": [
"desktop",
"mobile"
],
"scripts": "ext.codeEditor.js",
"dependencies": [
"jquery.codeEditor"
@ -50,17 +46,9 @@
"group": "ext.wikiEditor"
},
"ext.codeEditor.styles": {
"targets": [
"desktop",
"mobile"
],
"styles": "jquery.codeEditor.less"
},
"jquery.codeEditor": {
"targets": [
"desktop",
"mobile"
],
"scripts": "jquery.codeEditor.js",
"dependencies": [
"ext.wikiEditor",
@ -120,10 +108,6 @@
}
},
"ext.codeEditor.ace": {
"targets": [
"desktop",
"mobile"
],
"group": "ext.codeEditor.ace",
"scripts": [
"ace/ace.js",
@ -139,10 +123,6 @@
]
},
"ext.codeEditor.ace.modes": {
"targets": [
"desktop",
"mobile"
],
"group": "ext.codeEditor.ace",
"scripts": [
"ace/mode-c_cpp.js",