mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-30 18:44:24 +00:00
0f3c66418a
Displaying categories by priority provides editors with better guidance about what to spend time on. The Linter help page provides more information about why the specific priorities have been chosen. Change-Id: If6f28570189e24a67b4380f666f4cd64a2296989
104 lines
2.7 KiB
JSON
104 lines
2.7 KiB
JSON
{
|
|
"name": "Linter",
|
|
"license-name": "GPL-2.0+",
|
|
"url": "https://www.mediawiki.org/wiki/Extension:Linter",
|
|
"author": [
|
|
"Kunal Mehta"
|
|
],
|
|
"descriptionmsg": "linter-desc",
|
|
"type": "specialpage",
|
|
"AutoloadClasses": {
|
|
"MediaWiki\\Linter\\CategoryManager": "includes/CategoryManager.php",
|
|
"MediaWiki\\Linter\\Hooks": "includes/Hooks.php",
|
|
"MediaWiki\\Linter\\Database": "includes/Database.php",
|
|
"MediaWiki\\Linter\\LintError": "includes/LintError.php",
|
|
"MediaWiki\\Linter\\ApiRecordLint": "includes/ApiRecordLint.php",
|
|
"MediaWiki\\Linter\\ApiQueryLintErrors": "includes/ApiQueryLintErrors.php",
|
|
"MediaWiki\\Linter\\RecordLintJob": "includes/RecordLintJob.php",
|
|
"MediaWiki\\Linter\\SpecialLintErrors": "includes/SpecialLintErrors.php",
|
|
"MediaWiki\\Linter\\LintErrorsPager": "includes/LintErrorsPager.php"
|
|
},
|
|
"MessagesDirs": {
|
|
"Linter": "i18n"
|
|
},
|
|
"ExtensionMessagesFiles": {
|
|
"LinterAlias": "Linter.alias.php"
|
|
},
|
|
"Hooks": {
|
|
"LoadExtensionSchemaUpdates": "MediaWiki\\Linter\\Hooks::onLoadExtensionSchemaUpdates",
|
|
"BeforePageDisplay": "MediaWiki\\Linter\\Hooks::onBeforePageDisplay",
|
|
"APIQuerySiteInfoGeneralInfo": "MediaWiki\\Linter\\Hooks::onAPIQuerySiteInfoGeneralInfo",
|
|
"InfoAction": "MediaWiki\\Linter\\Hooks::onInfoAction",
|
|
"WikiPageDeletionUpdates": "MediaWiki\\Linter\\Hooks::onWikiPageDeletionUpdates"
|
|
},
|
|
"APIModules": {
|
|
"record-lint": "MediaWiki\\Linter\\ApiRecordLint"
|
|
},
|
|
"APIListModules": {
|
|
"linterrors": "MediaWiki\\Linter\\ApiQueryLintErrors"
|
|
},
|
|
"SpecialPages": {
|
|
"LintErrors": "MediaWiki\\Linter\\SpecialLintErrors"
|
|
},
|
|
"JobClasses": {
|
|
"RecordLintJob": "MediaWiki\\Linter\\RecordLintJob"
|
|
},
|
|
"ResourceModules": {
|
|
"ext.linter.edit": {
|
|
"scripts": "ext.linter.edit.js",
|
|
"dependencies": [
|
|
"jquery.textSelection"
|
|
]
|
|
}
|
|
},
|
|
"ResourceFileModulePaths": {
|
|
"localBasePath": "modules",
|
|
"remoteExtPath": "Linter/modules"
|
|
},
|
|
"config": {
|
|
"LinterCategories": {
|
|
"fostered": {
|
|
"enabled": true,
|
|
"priority": "medium"
|
|
},
|
|
"obsolete-tag": {
|
|
"enabled": true,
|
|
"priority": "low"
|
|
},
|
|
"bogus-image-options": {
|
|
"enabled": true,
|
|
"priority": "medium"
|
|
},
|
|
"missing-end-tag": {
|
|
"enabled": true,
|
|
"priority": "low"
|
|
},
|
|
"stripped-tag": {
|
|
"enabled": true,
|
|
"priority": "low"
|
|
},
|
|
"self-closed-tag": {
|
|
"enabled": true,
|
|
"priority": "high"
|
|
},
|
|
"deletable-table-tag": {
|
|
"enabled": true,
|
|
"priority": "high"
|
|
},
|
|
"misnested-tag": {
|
|
"enabled": true,
|
|
"priority": "medium"
|
|
},
|
|
"pwrap-bug-workaround": {
|
|
"enabled": true,
|
|
"priority": "high"
|
|
}
|
|
},
|
|
"LinterSubmitterWhitelist": {
|
|
"127.0.0.1": true
|
|
},
|
|
"LinterStatsdSampleFactor": false
|
|
},
|
|
"manifest_version": 1
|
|
}
|