mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-30 09:54:19 +00:00
d0ec3d6982
Change-Id: Iaf5c1fde6e002ea31eeef88f1963090e14784a7a
26 lines
309 B
Plaintext
26 lines
309 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,
|
|
|
|
"jquery": true,
|
|
"browser": true,
|
|
|
|
"predef": [
|
|
"mediaWiki"
|
|
]
|
|
}
|