Missing PermissionName definition

[xiuqijix]

PermissionName definition is missing in both Proximity and Permission API spec.

[riju]

Speculatively the PermissionName for this can be "proximity-sensor" , but we can bikeshed about the name when the time is right.
We will add the Permission hook when we are close to implementing it.

[anssiko]

@kaixinjxq @riju, thanks for your comments.

Assuming positive feedback from the motion sensors Origin Trial in Chrome, we should reuse the same Permissions API integration pattern for this spec too.

Let's leave this issue open until we get that feedback.

[anssiko]

A note for possible future use:

To align this spec with changes in w3c/sensors@7cea69d, use the following prose:

The <a>Proximity Sensor</a> has an associated [=sensor permission name=]
which is <a for="PermissionName" enum-value>"proximity-sensor"</a>.

And upstream the proposed "proximity-sensor" string to the Permissions API.

Let's keep this open, and revisit if implementers' interest emerge.