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

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

Browse source 
Bug: T328497
Change-Id: I3a1f2f7f5e2f723218e515305c6e7ec0fc09faac
This commit is contained in:
James D. Forrester 2024-01-12 08:55:13 -05:00
parent cd6b88ed23
commit 8f16d58114
1 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
extension.json
View file

@ -43,10 +43,6 @@
},
"ResourceModules": {
"ext.wikiEditor": {
"targets": [
"desktop",
"mobile"
],
"group": "ext.wikiEditor",
"packageFiles": [
"ext.wikiEditor.js",
@ -268,10 +264,6 @@
]
},
"ext.wikiEditor.styles": {
"targets": [
"desktop",
"mobile"
],
"group": "ext.wikiEditor",
"styles": "ext.wikiEditor.toolbar.styles.less"
},