[Markdown] [Web/HTML] Remove ID attributes from HTML input page #9124
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Part of #8961.
This PR removes uses of the
id
attribute from the main HTML<input>
page: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/input.Mostly this is removing IDs like
htmlattrdefthing
, which are only used as targets from the preceding section. I've replaced those links withattr-thing
which you get from the{{htmlattrdef}}
macro.I also took out a spurious live sample, and corrected a heading ID that didn't match the derived heading ID and was being referenced by a live sample (and so would have been broken in Markdown).
I have not removed IDs from the big table of input types in https://developer.mozilla.org/en-US/docs/Web/HTML/Element/input#input_types, which uses them for live samples. I thought this table is quite nice and not worth trying to dismember at this point. It will stay in HTML anyway.