This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Since DOMString is also in Web IDL, DOMTimeStamp should move there too. (Maybe with advice that people should use date instead?)
Tentatively removed from Web DOM Core.
I'm thinking DOMTimeStamp should just be a typedef to unsigned long long (or a uint53_t if such a type were introduced) with no special binding in JS (it would just be a Number). You would need dates that exceed the year 200,000 before the precision of Number is an issue. A separate Date type (name tbd) could be introduced for things like HTMLTimeElement.valueAsDate.
That works for me. I was going to suggest naming it just "timestamp" but since we "cannot" rename DOMString we might as well keep it as DOMTimeStamp.
Added DOMTimeStamp to a new "Common definitions" section of Web IDL: http://dev.w3.org/2006/webapi/WebIDL/#common-DOMTimeStamp