DeviceRequestPrompt.d.ts