search

w3c / media-source

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

Separate the former and current editors #249

Closed wolenetz closed 4 years ago

wolenetz commented 4 years ago

The updated snapshot (index.html) includes various new respec issues since it has not been updated in quite a while. Fixing those issues will occur in later commits.

wolenetz commented 4 years ago

This is a more durable alternative than https://github.com/w3c/media-source/pull/248 (this updates the spec source too, not just the generated spec).

wolenetz commented 4 years ago

If there is no comment nor objection to this PR, I'll merge it in a week.

wolenetz commented 4 years ago

Abandoning this PR. https://github.com/w3c/media-source/pull/248 is being updated to be more durable like this one.