Jump to content

Help talk:Lint errors/duplicate-ids

Add topic
From mediawiki.org
Latest comment: 1 month ago by ABreault (WMF) in topic Link needed on Help:Lint errors
[edit]

ABreault (WMF) and CAnanian (WMF): When you create a new Lint error, please link to it from Help:Lint errors. Thanks.

Also, why doesn't this error appear in the usual list on the "Page information" page? It would be helpful for developers to have a checklist for all new Linter errors, including consulting with the very active de-linting communities at de.WP and en.WP. Jonesey95 (talk) 19:36, 26 September 2024 (UTC)Reply

Sorry, it's now linked Special:Diff/6772876
Do you have an example of a page where it doesn't appear on "Page Information"? I see it here,
https://www.mediawiki.org/wiki/Extension:Scribunto?action=info#Lint_errors
You are right that a checklist would be helpful. In this case, the Lint error had already been requested by the en.WP community in T200517 but I've elaborated on the origin in Special:Diff/6772997 ABreault (WMF) (talk) 01:06, 27 September 2024 (UTC)Reply