зеркало из https://github.com/mozilla/gecko-dev.git
Backed out changeset 18c11a93ef16 (bug 1752906) for causing failures at midi-reporting.https.html. CLOSED TREE
This commit is contained in:
Родитель
b6d4ea0d7e
Коммит
a5c87638dd
|
@ -759,21 +759,21 @@ var interfaceNamesInGlobalScope = [
|
|||
// IMPORTANT: Do not change this list without review from a DOM peer!
|
||||
{ name: "MessagePort", insecureContext: true },
|
||||
// IMPORTANT: Do not change this list without review from a DOM peer!
|
||||
{ name: "MIDIAccess", android: false },
|
||||
{ name: "MIDIAccess", disabled: true },
|
||||
// IMPORTANT: Do not change this list without review from a DOM peer!
|
||||
{ name: "MIDIConnectionEvent", android: false },
|
||||
{ name: "MIDIConnectionEvent", disabled: true },
|
||||
// IMPORTANT: Do not change this list without review from a DOM peer!
|
||||
{ name: "MIDIInputMap", android: false },
|
||||
{ name: "MIDIInputMap", disabled: true },
|
||||
// IMPORTANT: Do not change this list without review from a DOM peer!
|
||||
{ name: "MIDIInput", android: false },
|
||||
{ name: "MIDIInput", disabled: true },
|
||||
// IMPORTANT: Do not change this list without review from a DOM peer!
|
||||
{ name: "MIDIMessageEvent", android: false },
|
||||
{ name: "MIDIMessageEvent", disabled: true },
|
||||
// IMPORTANT: Do not change this list without review from a DOM peer!
|
||||
{ name: "MIDIOutputMap", android: false },
|
||||
{ name: "MIDIOutputMap", disabled: true },
|
||||
// IMPORTANT: Do not change this list without review from a DOM peer!
|
||||
{ name: "MIDIOutput", android: false },
|
||||
{ name: "MIDIOutput", disabled: true },
|
||||
// IMPORTANT: Do not change this list without review from a DOM peer!
|
||||
{ name: "MIDIPort", android: false },
|
||||
{ name: "MIDIPort", disabled: true },
|
||||
// IMPORTANT: Do not change this list without review from a DOM peer!
|
||||
{ name: "MimeType", insecureContext: true },
|
||||
// IMPORTANT: Do not change this list without review from a DOM peer!
|
||||
|
|
|
@ -4135,7 +4135,7 @@
|
|||
# Whether the WebMIDI API is enabled
|
||||
- name: dom.webmidi.enabled
|
||||
type: bool
|
||||
value: @IS_NOT_ANDROID@
|
||||
value: false
|
||||
mirror: always
|
||||
|
||||
# midi permission is addon-gated
|
||||
|
|
Загрузка…
Ссылка в новой задаче