Re: [whatwg/dom] Change `#time-origin` to `#sec-time-origin` for <anchor> tag. (#688)

I think we want https://w3c.github.io/hr-time/#dfn-time-origin even. I suspect this changed in High Resolution Time at some point, but it's rather hard to determine as git doesn't hold the generated HTML.

A good way to fix this would be to make High Resolution Time export its definitions so we don't have to include a "hard coded" link.

cc @igrigorik

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/whatwg/dom/issues/688#issuecomment-419844124