wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-09-24 10:49:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Linter/extension.json

123 lines
3.2 KiB
JSON
Raw Normal View History

Initial commit This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
2016-10-13 08:14:18 +00:00
{
"name": "Linter",
"license-name": "GPL-2.0+",
"url": "https://www.mediawiki.org/wiki/Extension:Linter",
"author": [
Add other primary authors Change-Id: I8a96898f979c68912188f42e5b9a968656c1a2bf
2017-06-20 21:21:46 +00:00
"Kunal Mehta",
"Arlo Breault",
"Subramanya Sastry"
Initial commit This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
2016-10-13 08:14:18 +00:00
],
"descriptionmsg": "linter-desc",
"type": "specialpage",
"AutoloadClasses": {
Store linter_cat names in a separate table linter_cat is now an int ID that points to a row in the new lint_categories table. The mapping between category names and ids is all handled in PHP, and cached in APC. Note that you will need to drop the `linter` table manually and re-run update.php for this to take effect. Change-Id: I369d9b4d8d08289b4a20d1cd29a2e327bad28ef8
2016-10-29 01:06:08 +00:00
"MediaWiki\\Linter\\CategoryManager": "includes/CategoryManager.php",
Initial commit This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
2016-10-13 08:14:18 +00:00
"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",
Add API meta=linterstats module This module just exposes the number of lint errors in each category for tools that want to collect statistics and stuff. It's currently under a 'totals' key to give us more flexibility if we want to add other information in the future. Change-Id: Iad5136a6a5989ce5bcb1a00a4f82f49a397e0170
2017-05-29 15:04:57 +00:00
"MediaWiki\\Linter\\ApiQueryLinterStats": "includes/ApiQueryLinterStats.php",
Update lint errors via the job queue The job queue will allow us to have better flood control and rate limiting instead of trying to do all the database writes as soon as parsoid contacts MediaWiki. On the downside, this means it may take longer for changes to be reflected in the database and to users, but we already have no promise for that, so it seems okay. Note that if you don't have a job queue runner set up, you'll need to run the runJobs.php script every time to have the jobs execute. Change-Id: I25fd54734aca4dab09711e7f6aee027654931300
2016-11-15 19:31:45 +00:00
"MediaWiki\\Linter\\RecordLintJob": "includes/RecordLintJob.php",
Initial commit This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
2016-10-13 08:14:18 +00:00
"MediaWiki\\Linter\\SpecialLintErrors": "includes/SpecialLintErrors.php",
Add caching to looking up totals The query itself is too expensive to be run on large Wikimedia wikis. So put it behind WAN cache and touch the check keys for each category whenever those have errors added or deleted from them. If this happens to get out of sync, it will get fully refreshed regularly when the totals are sent to statsd. WANObjectCache's 'lockTSE' feature will help avoid cache stampedes that made this query expensive in the past. Change-Id: I3774103a29fa0f29d36283950f136259fa71bffe
2017-04-28 20:04:45 +00:00
"MediaWiki\\Linter\\LintErrorsPager": "includes/LintErrorsPager.php",
"MediaWiki\\Linter\\TotalsLookup": "includes/TotalsLookup.php"
Initial commit This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
2016-10-13 08:14:18 +00:00
},
"MessagesDirs": {
"Linter": "i18n"
},
Add alias file So people can localize the special page name Change-Id: Icd331d02f400dfca465236bb95c1357c58480260
2016-12-02 15:55:13 +00:00
"ExtensionMessagesFiles": {
"LinterAlias": "Linter.alias.php"
},
Initial commit This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
2016-10-13 08:14:18 +00:00
"Hooks": {
"LoadExtensionSchemaUpdates": "MediaWiki\\Linter\\Hooks::onLoadExtensionSchemaUpdates",
Support new wikitext editor for edit helper Register a hook for when VE is finished initializing to select the error section, just like the textbox-based editor. Use the BeforePageDisplay hook so it runs on VE page loads too. Bug: T160102 Change-Id: I59a7e0a3e8be32e4689cbf41c4904970902c4dff
2017-03-10 22:09:17 +00:00
"BeforePageDisplay": "MediaWiki\\Linter\\Hooks::onBeforePageDisplay",
Add Linter categories to action=query&meta=siteinfo Bug: T153056 Change-Id: Ieed01741d31c9e268a8769a5bc5d566d8020e760
2016-12-15 03:43:19 +00:00
"APIQuerySiteInfoGeneralInfo": "MediaWiki\\Linter\\Hooks::onAPIQuerySiteInfoGeneralInfo",
Display count of lint errors on ?action=info Change-Id: Ifcdfcb365e5ff6106b521d58a06df8c006772473
2016-12-15 03:58:18 +00:00
"InfoAction": "MediaWiki\\Linter\\Hooks::onInfoAction",
Delete linter rows when pages are deleted Bug: T151281 Change-Id: I3b113d0729b288683d9bc6c2f552b99ed2890f5c
2016-11-22 19:15:32 +00:00
"WikiPageDeletionUpdates": "MediaWiki\\Linter\\Hooks::onWikiPageDeletionUpdates"
Initial commit This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
2016-10-13 08:14:18 +00:00
},
"APIModules": {
"record-lint": "MediaWiki\\Linter\\ApiRecordLint"
},
"APIListModules": {
"linterrors": "MediaWiki\\Linter\\ApiQueryLintErrors"
},
Add API meta=linterstats module This module just exposes the number of lint errors in each category for tools that want to collect statistics and stuff. It's currently under a 'totals' key to give us more flexibility if we want to add other information in the future. Change-Id: Iad5136a6a5989ce5bcb1a00a4f82f49a397e0170
2017-05-29 15:04:57 +00:00
"APIMetaModules": {
"linterstats": "MediaWiki\\Linter\\ApiQueryLinterStats"
},
Initial commit This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
2016-10-13 08:14:18 +00:00
"SpecialPages": {
"LintErrors": "MediaWiki\\Linter\\SpecialLintErrors"
},
Update lint errors via the job queue The job queue will allow us to have better flood control and rate limiting instead of trying to do all the database writes as soon as parsoid contacts MediaWiki. On the downside, this means it may take longer for changes to be reflected in the database and to users, but we already have no promise for that, so it seems okay. Note that if you don't have a job queue runner set up, you'll need to run the runJobs.php script every time to have the jobs execute. Change-Id: I25fd54734aca4dab09711e7f6aee027654931300
2016-11-15 19:31:45 +00:00
"JobClasses": {
"RecordLintJob": "MediaWiki\\Linter\\RecordLintJob"
},
Initial commit This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
2016-10-13 08:14:18 +00:00
"ResourceModules": {
"ext.linter.edit": {
"scripts": "ext.linter.edit.js",
"dependencies": [
"jquery.textSelection"
]
}
},
"ResourceFileModulePaths": {
"localBasePath": "modules",
"remoteExtPath": "Linter/modules"
},
"config": {
"LinterCategories": {
Add severity for error categories Categories can now have a severity level of "error" or "warning" designated, which places them in a different heading on Special:LintErrors. Bug: T152822 Change-Id: I1276b9502d90765e88dcb8ea78569dee910c5d88
2016-12-15 01:07:40 +00:00
"fostered": {
Organize lint categories by priority 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
2017-04-26 22:11:23 +00:00
"enabled": true,
"priority": "medium"
Add severity for error categories Categories can now have a severity level of "error" or "warning" designated, which places them in a different heading on Special:LintErrors. Bug: T152822 Change-Id: I1276b9502d90765e88dcb8ea78569dee910c5d88
2016-12-15 01:07:40 +00:00
},
"obsolete-tag": {
Organize lint categories by priority 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
2017-04-26 22:11:23 +00:00
"enabled": true,
"priority": "low"
Add severity for error categories Categories can now have a severity level of "error" or "warning" designated, which places them in a different heading on Special:LintErrors. Bug: T152822 Change-Id: I1276b9502d90765e88dcb8ea78569dee910c5d88
2016-12-15 01:07:40 +00:00
},
"bogus-image-options": {
Organize lint categories by priority 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
2017-04-26 22:11:23 +00:00
"enabled": true,
"priority": "medium"
Add severity for error categories Categories can now have a severity level of "error" or "warning" designated, which places them in a different heading on Special:LintErrors. Bug: T152822 Change-Id: I1276b9502d90765e88dcb8ea78569dee910c5d88
2016-12-15 01:07:40 +00:00
},
"missing-end-tag": {
Organize lint categories by priority 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
2017-04-26 22:11:23 +00:00
"enabled": true,
"priority": "low"
Add severity for error categories Categories can now have a severity level of "error" or "warning" designated, which places them in a different heading on Special:LintErrors. Bug: T152822 Change-Id: I1276b9502d90765e88dcb8ea78569dee910c5d88
2016-12-15 01:07:40 +00:00
},
"stripped-tag": {
Organize lint categories by priority 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
2017-04-26 22:11:23 +00:00
"enabled": true,
"priority": "low"
Add severity for error categories Categories can now have a severity level of "error" or "warning" designated, which places them in a different heading on Special:LintErrors. Bug: T152822 Change-Id: I1276b9502d90765e88dcb8ea78569dee910c5d88
2016-12-15 01:07:40 +00:00
},
"self-closed-tag": {
Organize lint categories by priority 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
2017-04-26 22:11:23 +00:00
"enabled": true,
Provide parsermigration-edit edit link option for categories * Since the high priority categories are being used to effect Tidy migration, we need editors to be able to compare their fixes and ensure that the pages look identical after the fix. * This patch adds a new property for linter categories and displays the requested edit link in the pager. * This patch enables the property for high priority categories. Change-Id: Ia9b23d79da686f0a6c0203e2dba58a876a4a3d4a
2017-07-05 19:56:20 +00:00
"priority": "high",
"parser-migration": true
Add deletable-table-tag linter category Change-Id: I48000170a74363872edbce8f78780bccf160600c
2017-04-06 17:41:18 +00:00
},
"deletable-table-tag": {
Organize lint categories by priority 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
2017-04-26 22:11:23 +00:00
"enabled": true,
Provide parsermigration-edit edit link option for categories * Since the high priority categories are being used to effect Tidy migration, we need editors to be able to compare their fixes and ensure that the pages look identical after the fix. * This patch adds a new property for linter categories and displays the requested edit link in the pager. * This patch enables the property for high priority categories. Change-Id: Ia9b23d79da686f0a6c0203e2dba58a876a4a3d4a
2017-07-05 19:56:20 +00:00
"priority": "high",
"parser-migration": true
Add misnested-tag linter category Change-Id: I3508c68272940d21be6a5c9b78ee34c845debc74
2017-04-10 21:05:03 +00:00
},
"misnested-tag": {
Organize lint categories by priority 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
2017-04-26 22:11:23 +00:00
"enabled": true,
"priority": "medium"
Add pwrap-bug-workaround linter category Change-Id: If1ec022e5bb741f4dc825428b5a689c2f0b0c445
2017-04-12 21:27:41 +00:00
},
"pwrap-bug-workaround": {
Organize lint categories by priority 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
2017-04-26 22:11:23 +00:00
"enabled": true,
Provide parsermigration-edit edit link option for categories * Since the high priority categories are being used to effect Tidy migration, we need editors to be able to compare their fixes and ensure that the pages look identical after the fix. * This patch adds a new property for linter categories and displays the requested edit link in the pager. * This patch enables the property for high priority categories. Change-Id: Ia9b23d79da686f0a6c0203e2dba58a876a4a3d4a
2017-07-05 19:56:20 +00:00
"priority": "high",
"parser-migration": true
Add tidy-whitespace-bug linter high-priority category Change-Id: I9c068c2c45b4cf9bb5612f41dfa63a606a7a679a
2017-08-10 16:20:09 +00:00
},
"tidy-whitespace-bug": {
"enabled": true,
Provide parsermigration-edit edit link option for categories * Since the high priority categories are being used to effect Tidy migration, we need editors to be able to compare their fixes and ensure that the pages look identical after the fix. * This patch adds a new property for linter categories and displays the requested edit link in the pager. * This patch enables the property for high priority categories. Change-Id: Ia9b23d79da686f0a6c0203e2dba58a876a4a3d4a
2017-07-05 19:56:20 +00:00
"priority": "high",
"parser-migration": true
Add multi-colon-escape linter medium-priority category Change-Id: I9f21f3128b78e7b2459c18a9121605dffd5a1bc4
2017-09-18 18:03:11 +00:00
},
"multi-colon-escape": {
"enabled": true,
"priority": "medium"
Add severity for error categories Categories can now have a severity level of "error" or "warning" designated, which places them in a different heading on Special:LintErrors. Bug: T152822 Change-Id: I1276b9502d90765e88dcb8ea78569dee910c5d88
2016-12-15 01:07:40 +00:00
}
Initial commit This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
2016-10-13 08:14:18 +00:00
},
"LinterSubmitterWhitelist": {
"127.0.0.1": true
Record totals in categories in statsd For historical purposes so we can see new errors being added/fixed. Bug: T152664 Change-Id: Icec62d236351e43ec397ac448805ab16131c943c
2016-12-09 00:05:45 +00:00
},
"LinterStatsdSampleFactor": false
Initial commit This configures a MediaWiki extension to recieve Parsoid's lint errors and expose them to users. Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
2016-10-13 08:14:18 +00:00
},
"manifest_version": 1
}
Reference in a new issue Copy permalink