[webkit-reviews] review requested: [Bug 123264] Remove HTMLMediaElement.startTime : [Attachment 215162] Patch

[bugzilla-daemon at webkit.org]

Xabier Rodríguez Calvar <calvaris at igalia.com> has asked  for review:
Bug 123264: Remove HTMLMediaElement.startTime
https://bugs.webkit.org/show_bug.cgi?id=123264

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

------- Additional Comments from Xabier Rodríguez Calvar <calvaris at igalia.com>
Removed the spec update and updated GObject DOM symbols.