mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-09-23 18:30:16 +00:00
11a683dd07
Run jshint through npm instead. Also add composer.json to run phplint and in future run the php code sniffer. Signed-off-by: Antoine Musso <hashar@free.fr> Change-Id: I1797ac2bce1936ed75da76618f28fc239b60001b
25 lines
306 B
Plaintext
25 lines
306 B
Plaintext
{
|
|
// Enforcing
|
|
"bitwise": true,
|
|
"eqeqeq": true,
|
|
"freeze": true,
|
|
"latedef": true,
|
|
"noarg": true,
|
|
"nonew": true,
|
|
"undef": true,
|
|
"unused": true,
|
|
"strict": false,
|
|
|
|
// Relaxing
|
|
"es5": false,
|
|
|
|
// Environment
|
|
"browser": true,
|
|
"jquery": true,
|
|
|
|
"globals": {
|
|
"mediaWiki": false,
|
|
"OO": false
|
|
}
|
|
}
|