[tor-commits] [tor-browser] 05/10: fixup! Bug 40562: Added Tor-related preferences to 000-tor-browser.js