From 26a4072ce0d4200cc4f99af2cba5491dc76dca18 Mon Sep 17 00:00:00 2001 From: Denis Ah-Kang Date: Tue, 27 Apr 2021 09:43:02 +0400 Subject: [PATCH] alias hr-time to hr-time-3 --- overwrites/w3c.json | 1 + 1 file changed, 1 insertion(+) diff --git a/overwrites/w3c.json b/overwrites/w3c.json index 7ede769ed..04accd262 100644 --- a/overwrites/w3c.json +++ b/overwrites/w3c.json @@ -8,6 +8,7 @@ { "id": "notifications", "action": "delete" }, { "id": "dom", "action": "delete" }, { "id": "encoding", "action": "delete" }, + { "id": "hr-time", "action": "createAlias", "aliasOf": "hr-time-3"}, { "id": "resource-timing", "action": "createAlias", "aliasOf": "resource-timing-2"}, { "id": "service-workers-1", "action": "replaceProp", "prop": "edDraft", "value": "https://w3c.github.io/ServiceWorker/" }, { "id": "xpath", "action": "replaceProp", "prop": "href", "value": "https://www.w3.org/TR/xpath-10/" }