[webkit-reviews] review granted: [Bug 123264] Remove HTMLMediaElement.startTime : [Attachment 215093] Patch

[bugzilla-daemon at webkit.org]

Eric Carlson <eric.carlson at apple.com> has granted Xabier Rodríguez Calvar
<calvaris at igalia.com>'s request for review:
Bug 123264: Remove HTMLMediaElement.startTime
https://bugs.webkit.org/show_bug.cgi?id=123264

Attachment 215093: Patch
https://bugs.webkit.org/attachment.cgi?id=215093&action=review

------- Additional Comments from Eric Carlson <eric.carlson at apple.com>
View in context: https://bugs.webkit.org/attachment.cgi?id=215093&action=review


r=me, but please revert the changes to HTML_Timed_Media_Elements.html

> Websites/webkit.org/ChangeLog:9
> +	   * specs/HTML_Timed_Media_Elements.html: Removed traces of
> +	   startTime.

This ancient spec shouldn't be edited.