[Webkit-unassigned] [Bug 118789] New: Rename startoffsettime to startdate
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Wed Jul 17 04:20:44 PDT 2013
https://bugs.webkit.org/show_bug.cgi?id=118789
Summary: Rename startoffsettime to startdate
Product: WebKit
Version: 528+ (Nightly build)
Platform: Unspecified
OS/Version: Unspecified
Status: UNCONFIRMED
Severity: Normal
Priority: P2
Component: Media Elements
AssignedTo: webkit-unassigned at lists.webkit.org
ReportedBy: sh919.park at samsung.com
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
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list