[tor-commits] [tor-browser-build/master] Bug 25000: Add [System+Principal] to the NoScript whitelist