mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox
synced 2024-12-18 01:30:38 +00:00
ad5d35cad6
Change-Id: I97abe62b1744611d2b5b8b3284b6b257c96a48de
24 lines
295 B
Plaintext
24 lines
295 B
Plaintext
{
|
|
// Enforcing
|
|
"bitwise": true,
|
|
"eqeqeq": true,
|
|
"freeze": true,
|
|
"latedef": "nofunc",
|
|
"noarg": true,
|
|
"nonew": true,
|
|
"undef": true,
|
|
"unused": true,
|
|
"strict": false,
|
|
|
|
// Relaxing
|
|
"es5": false,
|
|
|
|
// Environment
|
|
"browser": true,
|
|
"jquery": true,
|
|
|
|
"globals": {
|
|
"mediaWiki": false
|
|
}
|
|
}
|