[tor-bugs] #18801 [Tor Browser]: disable the dom.push prefs

[Tor Bug Tracker & Wiki]

#18801: disable the dom.push prefs
-------------------------+-------------------------------------------------
     Reporter:  mcs      |      Owner:  mcs
         Type:  defect   |     Status:  new
     Priority:  Medium   |  Milestone:
    Component:  Tor      |    Version:
  Browser                |   Keywords:  ff45-esr, tbb-6.0a5,
     Severity:  Normal   |  TorBrowserTeam201604
Actual Points:           |  Parent ID:
       Points:           |   Reviewer:
      Sponsor:           |
-------------------------+-------------------------------------------------
 In #18546, Mike said:
 We should disable all of the dom.push.* prefs. Even though it seems that
 only ServiceWorkers can use Push, it would be good for us to ensure now
 that if we decide to enable ServiceWorkers, push stays off.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/18801>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online