w3c / media-source

Media Source Extensions
https://w3c.github.io/media-source/
Other
268 stars 58 forks source link

Fix broken refs to HTML spec, adjust settings for FPWD #300

Closed tidoust closed 3 years ago

tidoust commented 3 years ago

The spec referenced a number of terms in the HTML spec using links to the superseded HTML 5.1 spec. That spec actually redirects to the WHATWG HTML LS spec, which is good. Problem is a good chunk of anchors have been modified in the HTML spec and are no longer valid.

This update fixes all broken fragments using a combination of:

These updates are notably needed to pass pubrules for publication as First Public Working Draft (I included them in the version I sent for publication to /TR).

One note on xref terms: the HTML spec no longer has the concept of "initial playback position". The concept seems to have been merged with "current playback position".

This update also includes a couple of other fixes to please pubrules:


Preview | Diff

tidoust commented 3 years ago

I added a couple of updates to use a leveled shortname because it turns out that it is required and to drop the link to the now outdated implementation report.