wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-09-23 18:29:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

Enable CodeEditor modules on mobile

Browse source 
Depends-On: Ifa355f3821c72935c74650fa635a6ab863c70d39
Bug: T324723
Change-Id: I271e99c777b638bd4c4bae642f8c7c87fc0ae5cd
This commit is contained in:
Jon Robson 2023-01-04 22:40:37 -08:00 committed by Bartosz Dziewoński
parent 9336114847
commit cf169e60e2
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
extension.json
View file

@ -38,6 +38,7 @@
}, },
"ResourceModules": { "ResourceModules": {
"ext.codeEditor": { "ext.codeEditor": {
"targets": [ "desktop", "mobile" ],
"scripts": "ext.codeEditor.js", "scripts": "ext.codeEditor.js",
"dependencies": [ "dependencies": [
"jquery.codeEditor" "jquery.codeEditor"
@ -45,6 +46,7 @@
"group": "ext.wikiEditor" "group": "ext.wikiEditor"
}, },
"jquery.codeEditor": { "jquery.codeEditor": {
"targets": [ "desktop", "mobile" ],
"scripts": "jquery.codeEditor.js", "scripts": "jquery.codeEditor.js",
"styles": "jquery.codeEditor.less", "styles": "jquery.codeEditor.less",
"dependencies": [ "dependencies": [
@ -101,6 +103,7 @@
} }
}, },
"ext.codeEditor.ace": { "ext.codeEditor.ace": {
"targets": [ "desktop", "mobile" ],
"group": "ext.codeEditor.ace", "group": "ext.codeEditor.ace",
"scripts": [ "scripts": [
"ace/ace.js", "ace/ace.js",
@ -116,6 +119,7 @@
] ]
}, },
"ext.codeEditor.ace.modes": { "ext.codeEditor.ace.modes": {
"targets": [ "desktop", "mobile" ],
"group": "ext.codeEditor.ace", "group": "ext.codeEditor.ace",
"scripts": [ "scripts": [
"ace/mode-c_cpp.js", "ace/mode-c_cpp.js",