mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-09-25 11:16:51 +00:00
5db66faea9
Change-Id: Ic1193d5557e0a3468c16896767888e8a593671e0
7 lines
108 B
Plaintext
7 lines
108 B
Plaintext
{
|
|
"preset": "wikimedia",
|
|
|
|
"requireSpacesInsideArrayBrackets": null,
|
|
"disallowMixedSpacesAndTabs": null
|
|
}
|