From 3d3e3f6bc3d08d61c279294167e363b7d0b66fe6 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky 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.44.2