search

w3c / server-timing

Server Timing
http://w3c.github.io/server-timing/
Other
75 stars 20 forks source link

value: double -> DOMHighResTimestamp #23

Closed cvazac closed 7 years ago

cvazac commented 7 years ago

@igrigorik

Preview | Diff

cvazac commented 7 years ago

closing in favor of rebased: https://github.com/w3c/server-timing/pull/25