[tbb-commits] [torbutton/master] Bug 16357: Use Mozilla API to wipe permissions db