mediawiki-extensions-Discus.../.eslintrc.json

{
	"extends": [
		"wikimedia/client",
		"wikimedia/jquery",
		"wikimedia/mediawiki"
	],
	"globals": {
		"OO": "readonly",
		"ve": "readonly",
		"require": "readonly",
		"module": "readonly"
	}
}
Add required files for an extension Change-Id: I626e607e6ae7efc2521f9dd1da83c6fd90b0767d 2019-10-10 13:25:11 +00:00			`{`
			`"extends": [`
			`"wikimedia/client",`
build: Update linters Change-Id: Iee2e91b24218c6120f4a20d6ea38ea03c6292ef0 2019-10-28 12:29:36 +00:00			`"wikimedia/jquery",`
			`"wikimedia/mediawiki"`
Add required files for an extension Change-Id: I626e607e6ae7efc2521f9dd1da83c6fd90b0767d 2019-10-10 13:25:11 +00:00			`],`
			`"globals": {`
			`"OO": "readonly",`
build: Update linters Change-Id: Iee2e91b24218c6120f4a20d6ea38ea03c6292ef0 2019-10-28 12:29:36 +00:00			`"ve": "readonly",`
			`"require": "readonly",`
			`"module": "readonly"`
Add required files for an extension Change-Id: I626e607e6ae7efc2521f9dd1da83c6fd90b0767d 2019-10-10 13:25:11 +00:00			`}`
			`}`