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

config: remove DotsSyntaxHighlighter as conflicting gadget

Browse source 
Some users actually use CodeMirror and DotsSyntaxHighlighter, and
according to them and my own testing, there is no actual conflict. As
such, we shouldn't prevent CodeMirror from loading when this gadget is
enabled.

See https://w.wiki/8J4J

Follow-Up: If6c953858f9cf73024959b5a3b71b33ab7b48b4c
Change-Id: I259737d27cc3190fbdc335da2ccd471fcc0cff8b
This commit is contained in:
MusikAnimal 2023-11-27 17:17:45 -05:00
parent 59d83e4c9c
commit 1b8539f2c2
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -27,8 +27,7 @@
},
"CodeMirrorConflictingGadgets": {
"value": [
"wikEd",
"DotsSyntaxHighlighter"
"wikEd"
],
"description": "An array of gadget names that, if enabled, will prevent CodeMirror from loading on action=edit and action=submit.",
"public": true