mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-30 18:44:24 +00:00
bce5b31616
This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
5 lines
41 B
Plaintext
5 lines
41 B
Plaintext
{
|
|
"preset": "wikimedia",
|
|
"es3": true
|
|
}
|