user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit c7cd524f21985a4da9400f46b76ed03a05b3e81a
parent 8538685685d16fc6818b2d1519322098ea1b227d
Author: Thorin-Oakenpants <Thorin-Oakenpants@users.noreply.github.com>
Date:   Sat,  5 Aug 2017 08:30:21 +1200

2504: simplify VR to master switch
Diffstat:
Muser.js | 3---
1 file changed, 0 insertions(+), 3 deletions(-)

diff --git a/user.js b/user.js @@ -1193,9 +1193,6 @@ user_pref("dom.netinfo.enabled", false); /* 2504: disable virtual reality devices * [1] https://developer.mozilla.org/en-US/docs/Web/API/WebVR_API ***/ user_pref("dom.vr.enabled", false); -user_pref("dom.vr.oculus.enabled", false); -user_pref("dom.vr.osvr.enabled", false); // (FF49+) -user_pref("dom.vr.openvr.enabled", false); // (FF51+) /* 2505: disable media device enumeration (FF29+) * [NOTE] media.peerconnection.enabled should also be set to false (see 2001) * [1] https://wiki.mozilla.org/Media/getUserMedia