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

Highlight markup inside <references> in CodeMirror

Browse source 
See also: 9fd55c5f38
Bug: T294546
Change-Id: I55747e89242f0b53ec1f41c86c3523ad545e8470
This commit is contained in:
Bartek Łukawski 2021-10-28 13:31:26 +02:00 committed by Umherirrender
parent c42c4b88f1
commit 780f9e1439
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -227,7 +227,8 @@
"attributes": {
"CodeMirror": {
"TagModes": {
"ref": "text/mediawiki"
"ref": "text/mediawiki",
"references": "text/mediawiki"
}
},
"EventLogging": {