From f581ed70e8f9cab45823cdf06cbc7f68c7684dd2 Mon Sep 17 00:00:00 2001
From: Peter Perlepes
Date: Tue, 29 Sep 2020 17:10:09 +0300
Subject: [PATCH] Fixes https://github.com/w3c/resource-timing/issues/235
Conform 'current time' definition to the current hr-time spec
Add HR-TIME-ED localBiblio
---
index.html | 13 ++++++++++---
1 file changed, 10 insertions(+), 3 deletions(-)
diff --git a/index.html b/index.html
index 6bb0d23..50933ee 100644
--- a/index.html
+++ b/index.html
@@ -63,6 +63,13 @@
wgPatentURI: "https://www.w3.org/2004/01/pp-impl/45211/status",
wgPatentPolicy: "PP2017",
xref: ["html", "hr-time-2", "performance-timeline-2"],
+ localBiblio: {
+ "HR-TIME-ED": {
+ title: "High Resolution Time Editor's Draft",
+ status: "ED",
+ href: "https://w3c.github.io/hr-time/",
+ },
+ }
};
@@ -216,9 +223,9 @@ Terminology
[[HR-TIME-2]]. For example, the start
of navigation of the document occurs at time 0.
-The term current time refers to the number of
-milliseconds since the start of navigation of the document until
-the current moment in time.
+The term current time refers to the result of running
+current high
+resolution time where |current global| is the {{Window}} object.
This definition of time is based on the High
Resolution Time specification [[HR-TIME-2]] and is different from
the definition of time used in the Navigation Timing specification