Bug 118789
| Summary: | HTMLMediaElement should implement the startdate attribute | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Sanghyun Park <sh919.park> |
| Component: | Media | Assignee: | Nobody <webkit-unassigned> |
| Status: | RESOLVED WONTFIX | ||
| Severity: | Normal | CC: | ahmad.saleem792, dw.im, dynastpsh, eric.carlson, gyuyoung.kim, jer.noble, kihong.kwon, laszlo.gombos |
| Priority: | P2 | ||
| Version: | 528+ (Nightly build) | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
Sanghyun Park
According to HTML5 CR spec[1], startoffsettime[2] is changed to startdate[1].
So, We need to change startoffsettime to startdate in WebKit.
I'll upload the patch about this.
[1] http://www.w3.org/TR/html5/embedded-content-0.html#dom-media-startdate
[2] http://www.w3.org/TR/2012/WD-html5-20120329/media-elements.html#dom-media-startoffsettime
| Attachments | ||
|---|---|---|
| Add attachment proposed patch, testcase, etc. |
Sanghyun Park
My comment have a wrong information.
so, I modify the title and content.
please ignore upper comment.
Currently, startdate attribute is not implemented in WebKit.
Implementation is required.
Ahmad Saleem
We have test cases for it as 'Historical' that 'startoffsettime' should not be supported.
https://wpt.fyi/results/html/semantics/embedded-content/media-elements/historical.html?label=experimental&label=master&aligned=
> audio.startOffsetTime should not be supported
> video.startOffsetTime should not be supported
Similary, 'startdate':
audio.startDate should not be supported
video.startDate should not be supported
Marking this as 'RESOLVED WONTFIX' since we will not be fixing it and these are now historical attributes.