Can't we just move them into our 000-tor-browser.js file? It might not be ideal but should avoid having extra logic somewhere loading those prefs. And one could argue that those prefs are indeed part of the browser as we ship it.
Do we really need all those NoScript preferences with the WebExtension version of NoScript (oh, and I guess this holds for HTTPS-Everywhere as well)? I somehow doubt that (which the needs_revision is for). If that's the case, please remove them (if not, then please mark the ticket as needs_review again). We might want to think about whether we need "sane" defaults for both, though. But that should happen in other tickets during the esr60 stabilization cycle (could you file them if needed)?
Trac: Keywords: TorBrowserTeam201806R deleted, TorBrowserTeam201806 added Status: needs_review to needs_revision
Okay, I took the patch as-is to get the tagging and building going (commit 4f7417becede4e116eecade1dfad65f67ccbbe8d on master) but will leave this ticket open to check whether we need a follow-up patch.
I pushed a fixup commit (commit c21b1a526ac1e199990496c234532ed309b6209e), as the macOS bundling was broken without it.
One additional thought I had was that PTConfigs does not seem to be the right place for putting the extension-overrides.js file. Dealing e.g. with pdf.js settings has nothing to do with PT configs.
Posted fixup patch which gets rid of extension-overrides.js altogether, build now dumps pluggable transport and localization settings into a temp file before appending to 000-tor-browser.js