From 3d3e3f6bc3d08d61c279294167e363b7d0b66fe6 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 6 Nov 2023 17:52:30 -0500
Subject: [PATCH] media: disable in-browser webm player

---
 media | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 media

diff --git a/media b/media
new file mode 100644
index 0000000..3737a82
--- /dev/null
+++ b/media
@@ -0,0 +1,8 @@
+/* Media settings */
+
+/* Don't play webm videos in the browser
+ *
+ * I already have a video player, and it's not Firefox.
+ *
+ */
+user_pref("media.webm.enabled", false);
-- 
2.43.2