Typo: PositionOptions is a dictionary rather than an interface

w3c / geolocation

W3C Geolocation API

https://www.w3.org/TR/geolocation/

81 stars 56 forks source link

Typo: PositionOptions is a dictionary rather than an interface #38

Closed bathos closed 4 years ago

bathos commented 4 years ago

Minor fix: the PositionOptions dictionary definition was labelled as an interface.

I left the ID as position_options_interface deliberately. There seem to be a lot of scattered links around pointing to it and I figured it was better to err on the side of leaving those links working.

Preview | Diff

bathos commented 4 years ago

Marked as non substantive for IPR from ash-nazg.