API: new API to retrieve the device unique ID
Submitted by Philippe Normand
Ideally the ID would be a string, like a UUID or something similar. Opinions?
This would be needed in WebKit, for the "RealtimeMediaSourceCenter" and its friend the "CaptureDeviceManager", responsible for probing audio/video capture devices.