- From: <bugzilla@jessica.w3.org>
- Date: Thu, 02 May 2013 18:06:04 +0000
- To: public-html-media@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=21911
Bug ID: 21911
Summary: MediaPlaybackQuality.creationDate should be a
DOMHighResTimeStamp
Classification: Unclassified
Product: HTML WG
Version: unspecified
Hardware: PC
OS: All
Status: NEW
Severity: normal
Priority: P2
Component: Media Source Extensions
Assignee: adrianba@microsoft.com
Reporter: scherkus@chromium.org
QA Contact: public-html-bugzilla@w3.org
CC: mike@w3.org, public-html-media@w3.org
Date() is suspect to changes in system clock and/or clock skew. The High
Resolution Time spec [1] provides a monotonically increasing, sub-millisecond
API as well as new type DOMHighResTimeStamp (which is really just a double).
Given the performance-y nature of these stats, perhaps creationDate can be
similar to window.performance.now() in that it's a time value measured relative
to navigationStart [2].
[1] http://www.w3.org/TR/hr-time/
[2]
https://dvcs.w3.org/hg/webperf/raw-file/tip/specs/NavigationTiming/Overview.html#dom-performancetiming-navigationstart
--
You are receiving this mail because:
You are on the CC list for the bug.
Received on Thursday, 2 May 2013 18:06:05 UTC