From 918fe40aa5a4e87d477eca20b3c7d3a04b01bdcb Mon Sep 17 00:00:00 2001
From: Christoph Guttandin <chrisguttandin@media-codings.com>
Date: Sat, 27 Apr 2024 22:23:48 +0200
Subject: [PATCH] Fix DeviceChangeEventInit WebIDL definition

---
 getusermedia.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/getusermedia.html b/getusermedia.html
index 2a02151e..51789def 100644
--- a/getusermedia.html
+++ b/getusermedia.html
@@ -3471,7 +3471,7 @@ <h2>Attributes</h2>
       <div>
         <pre class="idl"
 >dictionary DeviceChangeEventInit : EventInit {
-  sequence&lt;MediaStream&gt; streams = [];
+  sequence&lt;MediaDeviceInfo&gt; devices = [];
 };</pre>
         <section>
           <h2>Dictionary <dfn>DeviceChangeEventInit</dfn> Members</h2>