Extension:Linter/es

This extension comes with MediaWiki 1.40 and above. Thus you do not have to download it again. However, you still need to follow the other instructions provided.
Category:Extensions bundled with MediaWiki 1.40/es Category:GPL licensed extensions/es
Manual de extensiones de MediaWiki
Linter
Estado de la versión: estableCategory:Stable extensions/es
Implementación Página especial Category:Special page extensions/es
Descripción Exponer y rastrear errores de lint
Autor(es) Kunal Mehta (Legoktmdiscusión)
MediaWiki >= 1.44
Cambios en la base de datos
Tablas linter
Licencia Licencia Pública General de GNU 2.0 o posterior
Descargar Category:Extensions in Wikimedia version control/es
README
Ayuda Help:Extension:Linter/es
  • $wgLinterCategories
  • $wgLinterParseOnDerivedDataUpdate
  • $wgLinterStatsdSampleFactor
Descargas trimestrales 34 (Ranked 74th)
Wikis públicos que lo utilizan 884 (Ranked 294th)
Traduce la extensión Linter si está disponible en translatewiki.net
Incidentes Tareas abiertas · Reportar un error
Category:All extensions/es

La extensión Linter rastrea los errores de hilas de un servicio externo. Actualmente, el caso de uso principal es rastrear los errores identificados por Parsoid y exponerlos a los editores. La ayuda para los usuarios que desean corregir errores está disponible por Ayuda:Extensión:Linter.

Instalación

Esta extensión requiere linting habilitado en la configuración de Parsoid.
  • Descarga y mueve la carpeta Linter extraída a tu directorio extensions/.
    Los desarrolladores y contribuidores de código deberían instalar la extensión desde Git en su lugar, usando:cd extensions/
    git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
  • Añade el siguiente código en la parte final de tu archivo LocalSettings.php :
    wfLoadExtension( 'Linter' );
    
  • Ejecuta la secuencia de actualización, que creará automáticamente las tablas de la base de datos que necesita esta extensión. Add the suggested configuration:
  • Yes Hecho – Navega a Special:Version en el wiki para verificar que la extensión se haya instalado correctamente.

Parámetros de configuración

Add the following to your LocalSettings.php file, editing as necessary:

// Load Parsoid
wfLoadExtension(
    'Parsoid',
	"$IP/vendor/wikimedia/parsoid/extension.json"
);

$wgParsoidSettings = [
    'useSelser' => true,
    'linting' => true
];

$wgVisualEditorParsoidAutoConfig = false; // to make linting work

$wgVirtualRestConfig = [
	'paths' => [],
	'modules' => [
		'parsoid' => [
			'url' => 'https://www.mysite.wiki/w/rest.php',
			'domain' => 'www.mysite.wiki',
			'forwardCookies' => true,
			'restbaseCompat' => false,
			'timeout' => 30
		],
	],
	'global' => [
		'timeout' => 360,
		'forwardCookies' => false,
		'HTTPProxy' => null
	]
];

Upgrading to MediaWiki 1.43.x

Updating the extension's database table for MediaWiki 1.43 may need special attention.[1]

The "update.php" script runs two time-consuming migration scripts that update the Linter database table at approximately 500 rows per second. Running "update.php" directly is recommended.

For large Linter tables where extended maintenance time is not feasible:

Upgrading from 1.40+
  1. Set $wgLinterWriteNamespaceColumnStage = true
  2. Set $wgLinterWriteTagAndTemplateColumnsStage = true
  3. Run $ path/to/mediawiki/maintenance/run.php migrateNamespace
  4. Run $ path/to/mediawiki/maintenance/run.php migrateTagTemplate
  5. Proceed with MediaWiki and extensions update to 1.43
Upgrading from 1.39 or earlier
  1. Update to MediaWiki 1.42 first
  2. Then follow steps above for 1.40+ upgrade


API

list=linterrors (lnt)

(main | query | linterrors)

Get a list of lint errors

Specific parameters:
Other general parameters are available.
lntcategories

Categories of lint errors

Values (separate with | or alternative): bogus-image-options, deletable-table-tag, duplicate-ids, empty-heading, fostered, fostered-transparent, html5-misnesting, large-tables, misc-tidy-replacement-issues, misnested-tag, missing-end-tag, missing-end-tag-in-heading, multi-colon-escape, multiline-html-table-in-list, multiple-unclosed-formatting-tags, night-mode-unaware-background-color, obsolete-tag, pwrap-bug-workaround, self-closed-tag, stripped-tag, tidy-font-bug, tidy-whitespace-bug, unclosed-quotes-in-heading, wikilink-in-extlink
Default: deletable-table-tag|duplicate-ids|html5-misnesting|misc-tidy-replacement-issues|multiline-html-table-in-list|multiple-unclosed-formatting-tags|pwrap-bug-workaround|self-closed-tag|tidy-font-bug|tidy-whitespace-bug|unclosed-quotes-in-heading|bogus-image-options|fostered|misnested-tag|multi-colon-escape|wikilink-in-extlink|empty-heading|missing-end-tag|missing-end-tag-in-heading|night-mode-unaware-background-color|obsolete-tag|stripped-tag
lntlimit

Number of results to query

Type: integer or max
The value must be between 1 and 500.
Default: 10
lntnamespace

Only include lint errors from the specified namespaces

Values (separate with | or alternative): 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 90, 91, 92, 93, 100, 101, 102, 103, 104, 105, 106, 107, 710, 711, 828, 829, 1198, 1199, 2600, 5500, 5501
To specify all values, use *.
lntpageid

Only include lint errors from the specified page IDs

Type: list of integers
Separate values with | or alternative.
Maximum number of values is 50 (500 for clients that are allowed higher limits).
lnttitle

Only include lint errors from the specified page title

lntfrom

Lint ID to start querying from

Type: integer
Example:
Get all lint errors of the obsolete-tag category
api.php?action=query&list=linterrors&lntcategories=obsolete-tag [open in sandbox]

meta=linterstats (lntrst)

(main | query | linterstats)

Get number of lint errors in each category

Example:
Get number of lint errors in each category
api.php?action=query&meta=linterstats [open in sandbox]

Categorías de Linter

Una lista de categorías de linter está disponible en [propiedades de información del sitio de https://www.mediawiki.org/w/api.php?action=query&meta=siteinfo&siprop=general%7Cnamespaces%7Cnamespacealiases%7Cstatistics].

Arrancar o reprocesar todas las páginas

En lugar de ejecutar refreshLinks.php, es posible completar los errores de pelusa consultando directamente a parsoid. Véase phab:T161556#3184216 para un script de ejemplo.

Páginas especiales

The extension provides the Special:LintErrors page.

Configuring available lints

The Special:LintErrors page displays available lints with associated priority that have been defined in the configuration parameter $wgLinterCategories.

Each linter category has the following fields:

  • dbid: the unique id associated with the lint category used in the database.
  • enabled: whether the lint rule is enabled. If lints are disabled they will not be accessible from the special page.
  • priority: either none, low, medium or high. Lints that are none will not be listed on Special:LintErrors but will be accessible through the web via the associated subpage.
  • no-params: no parameters are associated with the lint category.
  • has-name: indicates that the lints are expected to contain a name parameter, so the special page displays the column in the UI.

For new lints, it is recommended that by default they are defined as priority none and that they are promoted after testing and some discussion with the linting community. No formal process exists for promoting lint priorities at time of writing.

References


Category:Extensions used on Wikimedia/es#Linter/es
Category:APIQuerySiteInfoGeneralInfo extensions/es Category:All extensions/es Category:BeforePageDisplay extensions/es Category:Extensions available as Debian packages/es Category:Extensions bundled with MediaWiki 1.40/es Category:Extensions in Wikimedia version control/es Category:Extensions included in Canasta/es Category:Extensions included in Miraheze/es Category:Extensions included in MyWikis/es Category:Extensions included in WikiForge/es Category:Extensions used on Wikimedia/es Category:GPL licensed extensions/es Category:InfoAction extensions/es Category:LoadExtensionSchemaUpdates extensions/es Category:ParserLogLinterData extensions/es Category:RevisionDataUpdates extensions/es Category:Special page extensions/es Category:Stable extensions/es Category:WikiPageDeletionUpdates extensions/es