From 911a373812f554aa0c20e1c3688d5ecc56aa3a69 Mon Sep 17 00:00:00 2001
From: Gabriele Svelto <gsvelto@mozilla.com>
Date: Mon, 31 Jan 2022 21:25:44 +0000
Subject: [PATCH] Bug 1752906 - Enabled Web MIDI by default r=bholley

This turns on Web MIDI by default on Windows, macOS and Linux.
Still off on Android where we don't have support yet.

Differential Revision: https://phabricator.services.mozilla.com/D137486
---
 modules/libpref/init/StaticPrefList.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/libpref/init/StaticPrefList.yaml b/modules/libpref/init/StaticPrefList.yaml
index 8f59ae5ed82c..38f900f055f6 100644
--- a/modules/libpref/init/StaticPrefList.yaml
+++ b/modules/libpref/init/StaticPrefList.yaml
@@ -4099,7 +4099,7 @@
 # Whether the WebMIDI API is enabled
 - name: dom.webmidi.enabled
   type: bool
-  value: false
+  value: @IS_NOT_ANDROID@
   mirror: always
 
 # midi permission is addon-gated