- From: Timothy Gu <notifications@github.com>
- Date: Sat, 23 May 2020 19:33:41 -0700
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Sunday, 24 May 2020 02:33:54 UTC
Because it doesn't need to be in Web IDl proper, as it can be defined on top of existing Web IDL types. For instance, the [`DOMHighResTimeStamp`](https://w3c.github.io/hr-time/#sec-domhighrestimestamp) type in the W3C High Resolution Time spec is defined as a `double`. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/heycam/webidl/issues/886#issuecomment-633167961
Received on Sunday, 24 May 2020 02:33:54 UTC