From ab0a9e1d0f6ca51d0fe28ba08c10a813e750f958 Mon Sep 17 00:00:00 2001 From: reffy-bot <> Date: Sun, 16 Jun 2024 01:33:44 +0000 Subject: [PATCH] Update of TR report from new reffy run Using reffy commit 16.0.1. --- tr/dfns/geolocation.json | 2 +- tr/headings/geolocation.json | 4 +-- tr/idl/geolocation.idl | 2 +- tr/ids/geolocation.json | 4 +-- tr/index.json | 12 ++++---- tr/links/geolocation.json | 58 ++++++++++++++++++------------------ tr/refs/geolocation.json | 2 +- 7 files changed, 42 insertions(+), 42 deletions(-) diff --git a/tr/dfns/geolocation.json b/tr/dfns/geolocation.json index 1c6a544080f4..dee369987780 100644 --- a/tr/dfns/geolocation.json +++ b/tr/dfns/geolocation.json @@ -1,6 +1,6 @@ { "spec": { - "title": "Geolocation API", + "title": "Geolocation", "url": "https://www.w3.org/TR/geolocation/" }, "dfns": [ diff --git a/tr/headings/geolocation.json b/tr/headings/geolocation.json index 0720e82c89fc..22674b72b23b 100644 --- a/tr/headings/geolocation.json +++ b/tr/headings/geolocation.json @@ -1,6 +1,6 @@ { "spec": { - "title": "Geolocation API", + "title": "Geolocation", "url": "https://www.w3.org/TR/geolocation/" }, "headings": [ @@ -8,7 +8,7 @@ "id": "title", "href": "https://www.w3.org/TR/geolocation/#title", "level": 1, - "title": "Geolocation API" + "title": "Geolocation" }, { "id": "toc", diff --git a/tr/idl/geolocation.idl b/tr/idl/geolocation.idl index ddb7189f5708..3d4e178d985d 100644 --- a/tr/idl/geolocation.idl +++ b/tr/idl/geolocation.idl @@ -1,7 +1,7 @@ // GENERATED CONTENT - DO NOT EDIT // Content was automatically extracted by Reffy into webref // (https://github.com/w3c/webref) -// Source: Geolocation API (https://www.w3.org/TR/geolocation/) +// Source: Geolocation (https://www.w3.org/TR/geolocation/) partial interface Navigator { [SameObject] readonly attribute Geolocation geolocation; diff --git a/tr/ids/geolocation.json b/tr/ids/geolocation.json index 2fc7bc242576..de196757f538 100644 --- a/tr/ids/geolocation.json +++ b/tr/ids/geolocation.json @@ -1,6 +1,6 @@ { "spec": { - "title": "Geolocation API", + "title": "Geolocation", "url": "https://www.w3.org/TR/geolocation/" }, "ids": [ @@ -61,7 +61,7 @@ "https://www.w3.org/TR/geolocation/#ref-for-index-term-default-allowlist-for-policy-controlled-feature-1", "https://www.w3.org/TR/geolocation/#ref-for-index-term-allow-attribute-for-iframe-element-1", "https://www.w3.org/TR/geolocation/#ref-for-index-term-iframe-element-1", - "https://www.w3.org/TR/geolocation/#example-enabling-the-geolocation-api-in-an-iframe", + "https://www.w3.org/TR/geolocation/#example-enabling-geolocation-in-an-iframe", "https://www.w3.org/TR/geolocation/#example-permissions-policy-over-http", "https://www.w3.org/TR/geolocation/#privacy", "https://www.w3.org/TR/geolocation/#x3-privacy-considerations", diff --git a/tr/index.json b/tr/index.json index 6014426d7511..0ea7b6c91e12 100644 --- a/tr/index.json +++ b/tr/index.json @@ -1,7 +1,7 @@ { "type": "crawl", "title": "Reffy crawl", - "date": "2024-06-15T01:34:01.812Z", + "date": "2024-06-16T01:33:36.408Z", "options": { "fallback": "tr/index.json", "output": "report", @@ -689,7 +689,7 @@ "https://aomediacodec.github.io/av1-spec/" ], "crawled": "https://aomediacodec.github.io/av1-spec/av1-spec.pdf", - "date": "15 June 2024", + "date": "16 June 2024", "links": "links/av1-spec.json" }, { @@ -9827,7 +9827,7 @@ "sourcePath": "index.html", "filename": "index.html" }, - "title": "Geolocation API", + "title": "Geolocation", "source": "w3c", "shortTitle": "Geolocation API", "categories": [ @@ -9846,11 +9846,11 @@ ], "crawled": "https://www.w3.org/TR/geolocation/", "crawlCacheInfo": { - "lastModified": "Fri, 14 Jun 2024 15:41:46 GMT" + "lastModified": "Sat, 15 Jun 2024 23:23:48 GMT" }, "generator": "respec", - "date": "14 June 2024", - "revision": "22ed7a45c15e5cc5c7fc52aa220d057dea2a75e6", + "date": "15 June 2024", + "revision": "0fb6edc094af9339f1935e990ee0ba5cd9d8c281", "links": "links/geolocation.json", "refs": "refs/geolocation.json", "idl": "idl/geolocation.idl", diff --git a/tr/links/geolocation.json b/tr/links/geolocation.json index 1e6ff08964b4..01ca88c49a85 100644 --- a/tr/links/geolocation.json +++ b/tr/links/geolocation.json @@ -1,6 +1,6 @@ { "spec": { - "title": "Geolocation API", + "title": "Geolocation", "url": "https://www.w3.org/TR/geolocation/" }, "links": { @@ -28,34 +28,34 @@ "https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Feature-Policy/geolocation": {}, "https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Permissions-Policy/geolocation": {}, "https://earth-info.nga.mil/index.php?dir=wgs84&action=wgs84": {}, - "https://github.com/w3c/geolocation-api/commit/09b48e6": {}, - "https://github.com/w3c/geolocation-api/commit/0c378d9": {}, - "https://github.com/w3c/geolocation-api/commit/22ed7a4": {}, - "https://github.com/w3c/geolocation-api/commit/2a116d7": {}, - "https://github.com/w3c/geolocation-api/commit/2c0c516": {}, - "https://github.com/w3c/geolocation-api/commit/41d7945": {}, - "https://github.com/w3c/geolocation-api/commit/514f15b": {}, - "https://github.com/w3c/geolocation-api/commit/7082b4e": {}, - "https://github.com/w3c/geolocation-api/commit/74b1dd0": {}, - "https://github.com/w3c/geolocation-api/commit/a1531cb": {}, - "https://github.com/w3c/geolocation-api/commit/a30d713": {}, - "https://github.com/w3c/geolocation-api/commit/c2fdd74": {}, - "https://github.com/w3c/geolocation-api/commit/de05002": {}, - "https://github.com/w3c/geolocation-api/commit/f4605e5": {}, - "https://github.com/w3c/geolocation-api/commit/f8b930f": {}, - "https://github.com/w3c/geolocation-api/commits/gh-pages": {}, - "https://github.com/w3c/geolocation-api/pull/100": {}, - "https://github.com/w3c/geolocation-api/pull/104": {}, - "https://github.com/w3c/geolocation-api/pull/108": {}, - "https://github.com/w3c/geolocation-api/pull/109": {}, - "https://github.com/w3c/geolocation-api/pull/118": {}, - "https://github.com/w3c/geolocation-api/pull/133": {}, - "https://github.com/w3c/geolocation-api/pull/144": {}, - "https://github.com/w3c/geolocation-api/pull/157": {}, - "https://github.com/w3c/geolocation-api/pull/162": {}, - "https://github.com/w3c/geolocation-api/pull/87": {}, - "https://github.com/w3c/geolocation-api/pull/90": {}, - "https://github.com/w3c/geolocation-api/pull/97": {}, + "https://github.com/w3c/geolocation/commit/09b48e6": {}, + "https://github.com/w3c/geolocation/commit/0c378d9": {}, + "https://github.com/w3c/geolocation/commit/22ed7a4": {}, + "https://github.com/w3c/geolocation/commit/2a116d7": {}, + "https://github.com/w3c/geolocation/commit/2c0c516": {}, + "https://github.com/w3c/geolocation/commit/41d7945": {}, + "https://github.com/w3c/geolocation/commit/514f15b": {}, + "https://github.com/w3c/geolocation/commit/7082b4e": {}, + "https://github.com/w3c/geolocation/commit/74b1dd0": {}, + "https://github.com/w3c/geolocation/commit/a1531cb": {}, + "https://github.com/w3c/geolocation/commit/a30d713": {}, + "https://github.com/w3c/geolocation/commit/c2fdd74": {}, + "https://github.com/w3c/geolocation/commit/de05002": {}, + "https://github.com/w3c/geolocation/commit/f4605e5": {}, + "https://github.com/w3c/geolocation/commit/f8b930f": {}, + "https://github.com/w3c/geolocation/commits/gh-pages": {}, + "https://github.com/w3c/geolocation/pull/100": {}, + "https://github.com/w3c/geolocation/pull/104": {}, + "https://github.com/w3c/geolocation/pull/108": {}, + "https://github.com/w3c/geolocation/pull/109": {}, + "https://github.com/w3c/geolocation/pull/118": {}, + "https://github.com/w3c/geolocation/pull/133": {}, + "https://github.com/w3c/geolocation/pull/144": {}, + "https://github.com/w3c/geolocation/pull/157": {}, + "https://github.com/w3c/geolocation/pull/162": {}, + "https://github.com/w3c/geolocation/pull/87": {}, + "https://github.com/w3c/geolocation/pull/90": {}, + "https://github.com/w3c/geolocation/pull/97": {}, "https://html.spec.whatwg.org/multipage/": {}, "https://html.spec.whatwg.org/multipage/browsers.html": { "anchors": [ diff --git a/tr/refs/geolocation.json b/tr/refs/geolocation.json index 75127b8af582..d428116da0c3 100644 --- a/tr/refs/geolocation.json +++ b/tr/refs/geolocation.json @@ -1,6 +1,6 @@ { "spec": { - "title": "Geolocation API", + "title": "Geolocation", "url": "https://www.w3.org/TR/geolocation/" }, "refs": {