[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