From 205edbd1f5c9763b213d358e1c36b6883e85d89c Mon Sep 17 00:00:00 2001 From: Marcos Caceres Date: Fri, 14 Jun 2024 17:48:34 +1000 Subject: [PATCH] Editorial: rename spec to Geolocation --- CONTRIBUTING.md | 2 +- README.md | 8 ++--- errata.html | 12 +++---- index.html | 69 +++++++++++++++++++------------------- reports/PR_imp_report.html | 8 ++--- 5 files changed, 49 insertions(+), 50 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index b633772..2e708d7 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -1,4 +1,4 @@ -Spec development happens via [issues in this repository](https://github.com/w3c/geolocation-api/issues) and [pull requests](https://github.com/w3c/geolocation-api/pulls). +Spec development happens via [issues in this repository](https://github.com/w3c/geolocation/issues) and [pull requests](https://github.com/w3c/geolocation/pulls). For normative changes, a corresponding [web-platform-tests](https://github.com/web-platform-tests/wpt) PR is highly appreciated. Typically, both PRs will be merged at the same time. If testing is not practical, please explain why and if appropriate [file an issue](https://github.com/web-platform-tests/wpt/issues/new) to follow up later. diff --git a/README.md b/README.md index 395e04d..299cd03 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,8 @@ -# Geolocation API +# Geolocation -Once a user grants permission, the Geolocation API provides access to geographical location information from device. +Once a user grants permission, Geolocation provides access to geographical location information from device. -- [Editor's draft](http://w3c.github.io/geolocation-api/) +- [Editor's draft](http://w3c.github.io/geolocation/) ## Examples of usage @@ -80,4 +80,4 @@ sendPosition(); ### More examples -The specification provides [examples](https://w3c.github.io/geolocation-api/#examples) covering different use case. +The specification provides [examples](https://w3c.github.io/geolocation/#examples) covering different use case. diff --git a/errata.html b/errata.html index e6a22b1..2dd983e 100644 --- a/errata.html +++ b/errata.html @@ -2,7 +2,7 @@ - Geolocation API Errata + Geolocation Errata @@ -52,10 +52,10 @@ ## Process for submitting errata - Please [file an issue](https://github.com/w3c/geolocation-api/issues/new) on Github. + Please [file an issue](https://github.com/w3c/geolocation/issues/new) on Github. ## Unaddressed errata - [See issues on Github](https://github.com/w3c/geolocation-api/labels/errata) + [See issues on Github](https://github.com/w3c/geolocation/labels/errata) ## Errata approved by the Working Group @@ -39,12 +39,12 @@ previousPublishDate: "2022-02-17", crEnd: "2022-03-18", previousMaturity: "CR", - github: "w3c/geolocation-api", + github: "w3c/geolocation", caniuse: "geolocation", - testSuiteURI: "https://wpt.live/geolocation-API/", - implementationReportURI: "https://w3c.github.io/geolocation-api/reports/PR_imp_report.html", + testSuiteURI: "https://wpt.live/geolocation/", + implementationReportURI: "https://w3c.github.io/geolocation/reports/PR_imp_report.html", xref: "web-platform", - errata: "https://w3c.github.io/geolocation-api/errata.html", + errata: "https://w3c.github.io/geolocation/errata.html", latestVersion: "https://www.w3.org/TR/geolocation/", }; @@ -53,8 +53,8 @@ "secure-contexts permissions-policy permissions hr-time html">

- The Geolocation API provides access to geographical location - information associated with the hosting device. + Geolocation provides access to geographical location information + associated with the hosting device.

@@ -83,18 +83,18 @@

Introduction

- The Geolocation API defines a high-level interface to - location information associated only with the device hosting the - implementation. Common sources of location information include Global - Positioning System (GPS) and location inferred from network signals - such as IP address, RFID, WiFi and Bluetooth MAC addresses, and - GSM/CDMA cell IDs, as well as user input. The API itself is agnostic of - the underlying location information sources, and no guarantee is given - that the API returns the device's actual location. + Geolocation defines a high-level interface to location + information associated only with the device hosting the implementation. + Common sources of location information include Global Positioning + System (GPS) and location inferred from network signals such as IP + address, RFID, WiFi and Bluetooth MAC addresses, and GSM/CDMA cell IDs, + as well as user input. The API itself is agnostic of the underlying + location information sources, and no guarantee is given that the API + returns the device's actual location.

- If an end user [=check permission|grants permission=], the - Geolocation API: + If an end user [=check permission|grants permission=], + Geolocation:

@@ -1140,8 +1139,8 @@

The latitude and @@ -1407,8 +1406,8 @@

Change log

- Since First Public Working Draft in 2021, the Geolocation - API has received the following normative changes: + Since First Public Working Draft in 2021, Geolocation has + received the following normative changes: