Fix links to user agent and default allowlist

WebAudio / web-midi-api

The Web MIDI API, developed by the W3C Audio WG

http://webaudio.github.io/web-midi-api/

Other

321 stars 55 forks source link

Fix links to user agent and default allowlist #245

Closed mjwilson-google closed 9 months ago

mjwilson-google commented 9 months ago

I think the user agent link being a definition was an error, and it looks like the default allowlist reference changed since the spec was initially written.