This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Anne removed DOMTimeStamp from Web Dom Core, [1] and added a note that it's defined in WebIDL instead. Could you add it? [1] http://dvcs.w3.org/hg/domcore/rev/d373a58a10fb
http://dev.w3.org/2006/webapi/WebIDL/#common-DOMTimeStamp
Turns out I had my search set to case-sensitive... Sorry for the noise.