Index: Source/modules/webmidi/MIDIOptions.idl |
diff --git a/Source/core/page/EventSourceInit.idl b/Source/modules/webmidi/MIDIOptions.idl |
similarity index 65% |
copy from Source/core/page/EventSourceInit.idl |
copy to Source/modules/webmidi/MIDIOptions.idl |
index 39c9157feed42658c2afad12c1e75dd40a983f33..447e6cd464b5852dad136f1004b53ed490145511 100644 |
--- a/Source/core/page/EventSourceInit.idl |
+++ b/Source/modules/webmidi/MIDIOptions.idl |
@@ -2,8 +2,10 @@ |
// Use of this source code is governed by a BSD-style license that can be |
// found in the LICENSE file. |
+// http://www.w3.org/TR/webmidi/#midioptions-dictionary |
+ |
[ |
GarbageCollected |
-] dictionary EventSourceInit { |
- boolean withCredentials = false; |
+] dictionary MIDIOptions { |
+ boolean sysex; |
}; |