Media Element and Timing Objects

Hi all.

I have gone through section 9 describing how media elements may be extended
with support for timing objects as an external timing source.

http://webtiming.github.io/timingobject/#media-elements-and-timing-objects

Changes include:
-  added introduction with explanatory text, defining "default playback
mode" and "timed playback mode" for media elements
- minor changes to existing text/procudures

- changed spec so that .currentTime of media element directed by timing
object reports currentTime of internal media player, instead of position of
the timing object.

Would there any objections to this?

The spec currently states that setting .currentTime on the mediaelement
should be prohibited. This is the case for MediaControllers. An attractive
(in my view) alternative would be to map setting of currentTime onto a
request to the timing object. Following this approach, other media control
commands such as play and pause could be mapped similarly.

Would it be problematic to be inconsistent with the MediaController on this
issue.?


Ingar