- From: Chris Needham via GitHub <sysbot+gh@w3.org>
- Date: Mon, 10 Feb 2020 14:45:15 +0000
- To: public-web-and-tv@w3.org
chrisn has just merged chrisn's pull request 49 for https://github.com/w3c/me-media-timed-events:
== Clarify terminology ==
This PR clarifies the terminology used in the document:
- "Timed metadata" is a generally accepted term, so we use this in place of "media timed events" where appropriate
- Replace "JavaScript event" with the more accurate "DOM event"
- Other uses of "event" are either qualified or should be more obvious from context (e.g,. DASH MPD and emsg events)
<!--
This comment and the below content is programatically generated.
You may add a comma-separated list of anchors you'd like a
direct link to below (e.g. #idl-serializers, #idl-sequence):
Don't remove this comment or modify anything below this line.
If you don't want a preview generated for this pull request,
just replace the whole of this comment's content by "no preview"
and remove what's below.
-->
***
<a href="https://pr-preview.s3.amazonaws.com/w3c/me-media-timed-events/pull/49.html" title="Last updated on Jan 17, 2020, 3:22 PM UTC (5bdacf3)">Preview</a> | <a href="https://pr-preview.s3.amazonaws.com/w3c/me-media-timed-events/49/388c126...5bdacf3.html" title="Last updated on Jan 17, 2020, 3:22 PM UTC (5bdacf3)">Diff</a>
See https://github.com/w3c/me-media-timed-events/pull/49
Received on Monday, 10 February 2020 14:45:17 UTC