[web-bluetooth] Pull Request: Integrate with the Permissions API.

jyasskin has just submitted a new pull request for 
https://github.com/WebBluetoothCG/web-bluetooth:

== Integrate with the Permissions API. ==
Demo at 
https://rawgit.com/jyasskin/web-bluetooth-1/permission-api/index.html.
 @raymeskhoury @mounirlamouri 

This exclusively uses the Permissions API's structures to record 
whether
a site has permission to use a device. These will get updated better 
as
the platform changes/refines its permission design.

The Permissions public algorithms don't handle revocation quite right
yet, so this patch calls into some of the private ones.

Fixes #164.

@annevk, I'm thinking of the 
[monkeypatching](https://rawgit.com/jyasskin/web-bluetooth-1/permission-api/index.html#permission-api-integration)
 as temporary while the [definition of 
"bluetooth"](https://rawgit.com/jyasskin/web-bluetooth-1/permission-api/index.html#dom-permissionname-bluetooth)
 makes it through Shepherd, and then I'd update 
[PermissionName](https://w3c.github.io/permissions/#enumdef-permissionname)
 to link back to here. Thoughts?

See https://github.com/WebBluetoothCG/web-bluetooth/pull/228

Received on Thursday, 14 April 2016 20:59:29 UTC