- From: autokagami via GitHub <sysbot+gh@w3.org>
- Date: Tue, 18 Aug 2020 16:33:43 +0000
- To: public-geolocation@w3.org
autokagami has just submitted a new pull request for https://github.com/w3c/geolocation-api:
== Editorial: Align with Web IDL specification ==
This is an automated pull request to align the spec with the latest Web IDL specification.
Currently the autofix might introduce some awkward code formatting, so please feel free to modify the formatting.
Please file an issue on https://github.com/saschanaz/webidl-updater/issues/new if you think this PR is invalid or should be enhanced.
The following is the validation messages from webidl2.js, which may help understanding this PR:
```
Validation error at line 3 in geolocation-API,1:
void getCurrentPosition(PositionCallback successCallback
^ `void` is now replaced by `undefined`. Refer to the [relevant GitHub issue](https://github.com/heycam/webidl/issues/60) for more information.
Validation error at line 11 in geolocation-API,1:
void clearWatch(long watchId
^ `void` is now replaced by `undefined`. Refer to the [relevant GitHub issue](https://github.com/heycam/webidl/issues/60) for more information.
Validation error at line 14 in geolocation-API,1:
callback PositionCallback = void (GeolocationPosition position)
^ `void` is now replaced by `undefined`. Refer to the [relevant GitHub issue](https://github.com/heycam/webidl/issues/60) for more information.
Validation error at line 16 in geolocation-API,1:
callback PositionErrorCallback = void (GeolocationPositionError positionError)
^ `void` is now replaced by `undefined`. Refer to the [relevant GitHub issue](https://github.com/heycam/webidl/issues/60) for more information.
```
See https://github.com/w3c/geolocation-api/pull/58
--
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 18 August 2020 16:33:45 UTC