In https://github.com/wikimedia/mediawiki-services-parsoid/commit/a8fb2fa1624d0afde120fe090d133ad70e7348c8, generating anchors was moved before linting to lint empty headings. However, that pass also introduces mw:FallbackId spans, which are also deduplicated and don't need linting for duplicates.
Description
Details
Related Objects
- Mentioned In
- T407533: Do not flag duplicate section headings as duplicate IDs
T393230: False linter positives if headers contain non-ASCII characters
T200517: Emit lint error or category when a page uses duplicate HTML IDs - Mentioned Here
- T200517: Emit lint error or category when a page uses duplicate HTML IDs
Event Timeline
Change #1144689 had a related patch set uploaded (by Arlolra; author: Arlolra):
[mediawiki/services/parsoid@master] Don't emit duplicate id lint errors from mw:FallbackId spans
This is probably what was reported in https://phabricator.wikimedia.org/T200517#10785684, correct?
Change #1144689 merged by jenkins-bot:
[mediawiki/services/parsoid@master] Don't emit duplicate id lint errors from mw:FallbackId spans
Change #1147810 had a related patch set uploaded (by Jgiannelos; author: Jgiannelos):
[mediawiki/vendor@master] Bump wikimedia/parsoid to 0.22.0-a3
Change #1147810 merged by jenkins-bot:
[mediawiki/vendor@master] Bump wikimedia/parsoid to 0.22.0-a3
Change #1162957 had a related patch set uploaded (by Jgiannelos; author: Jgiannelos):
[mediawiki/vendor@master] Bump wikimedia/parsoid to 0.22.0-a3
Change #1162957 abandoned by Jgiannelos:
[mediawiki/vendor@master] Bump wikimedia/parsoid to 0.22.0-a3