mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-30 19:15:43 +00:00
36 lines
480 B
Plaintext
36 lines
480 B
Plaintext
{
|
|
/* Common */
|
|
|
|
// Enforcing
|
|
"camelcase": true,
|
|
"curly": true,
|
|
"eqeqeq": true,
|
|
"immed": true,
|
|
"latedef": true,
|
|
"newcap": true,
|
|
"noarg": true,
|
|
"noempty": true,
|
|
"nonew": true,
|
|
"quotmark": "single",
|
|
"trailing": true,
|
|
"undef": true,
|
|
"unused": true,
|
|
// Legacy
|
|
"onevar": true,
|
|
|
|
/* Local */
|
|
|
|
// Relaxing
|
|
"loopfunc": true,
|
|
"multistr": true,
|
|
// Environment
|
|
"browser": true,
|
|
|
|
"globals": {
|
|
"mediaWiki": false,
|
|
"jQuery": false,
|
|
"QUnit": false,
|
|
"OO": true
|
|
}
|
|
}
|