From 31280ac5bd163d80b72a2bd9b54143e7ce509b05 Mon Sep 17 00:00:00 2001
From: Benedikt Meurer
Date: Fri, 12 Jul 2024 11:32:19 +0200
Subject: [PATCH 1/2] Add `console.timeStamp()` to the specification
This adds a minimal (vague) definition for the `timeStamp()` method,
based on its current behavior across Chromium, Firefox, and Safari,
and the MDN documentation[^1].
[^1]: https://developer.mozilla.org/en-US/docs/Web/API/console/timestamp_static
Ref: #140
---
index.bs | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/index.bs b/index.bs
index db579fb..65ee5c8 100644
--- a/index.bs
+++ b/index.bs
@@ -66,6 +66,7 @@ namespace console { // but see namespace object requirements below
undefined time(optional DOMString label = "default");
undefined timeLog(optional DOMString label = "default", any... data);
undefined timeEnd(optional DOMString label = "default");
+ undefined timeStamp(optional DOMString label = "default");
};
@@ -274,6 +275,12 @@ for plans to make {{console/timeEnd()}} and {{console/timeLog()}} formally repor
console when a given |label| does not exist in the associated timer table.
+timeStamp(|label|)
+
+1. If the developer is recording a performance trace, add a single marker to the performance trace with the |label|.
+1. Otherwise, do nothing.
+1. Return *undefined*.
+
Supporting abstract operations
Logger(|logLevel|, |args|)
From 2519cb281c21ca044982c757ae4571570f573ed3 Mon Sep 17 00:00:00 2001
From: Benedikt Meurer
Date: Wed, 24 Jul 2024 08:52:20 +0200
Subject: [PATCH 2/2] Remove unnecessary code
---
index.bs | 2 --
1 file changed, 2 deletions(-)
diff --git a/index.bs b/index.bs
index 65ee5c8..109d7a6 100644
--- a/index.bs
+++ b/index.bs
@@ -278,8 +278,6 @@ console when a given |label| does not exist in the associated timer table
timeStamp(|label|)
1. If the developer is recording a performance trace, add a single marker to the performance trace with the |label|.
-1. Otherwise, do nothing.
-1. Return *undefined*.
Supporting abstract operations