mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-23 15:36:52 +00:00
Change capitalization of duplicate IDs
Bug: T200517 Change-Id: If7a15b5c6c7405465ab3197c9779fdc091d961ee
This commit is contained in:
parent
60df2687bd
commit
9bb5f7af97
|
@ -11,7 +11,7 @@
|
|||
"linter-category-large-tables-desc": "These pages have tables that are hard to view on mobile",
|
||||
"linter-category-deletable-table-tag": "Table tag that should be deleted",
|
||||
"linter-category-deletable-table-tag-desc": "These pages have table tags that should be deleted.",
|
||||
"linter-category-duplicate-ids": "Duplicate Ids",
|
||||
"linter-category-duplicate-ids": "Duplicate IDs",
|
||||
"linter-category-duplicate-ids-desc": "These pages have elements with duplicate id attributes.",
|
||||
"linter-category-fostered": "Fostered content",
|
||||
"linter-category-fostered-desc": "These pages have fostered content.",
|
||||
|
@ -80,7 +80,7 @@
|
|||
"linter-pager-category-header": "Category",
|
||||
"linter-pager-deletable-table-tag-details": "Table tag that should be deleted",
|
||||
"linter-pager-details-header": "Additional info",
|
||||
"linter-pager-duplicate-ids-details": "Duplicate ids",
|
||||
"linter-pager-duplicate-ids-details": "Duplicate IDs",
|
||||
"linter-pager-fostered-details": "Fostered content",
|
||||
"linter-pager-fostered-transparent-details": "Fostered rendering-transparent content",
|
||||
"linter-pager-html5-misnesting-details": "Misnesting (now broken)",
|
||||
|
|
Loading…
Reference in a new issue