editorial: Do not define Navigator, just reference it

w3c / device-posture

Device Posture API

https://www.w3.org/TR/device-posture/

Other

33 stars 21 forks source link

Closed rakuco closed 6 months ago

rakuco commented 6 months ago

Navigator is ed in HTML; redefining it here does not make much sense as we just need to reference the original definition.

rakuco commented 6 months ago

Oops, wrong base branch, let me send another PR.