[tor-bugs] #23719 [Applications/Tor Browser]: Make sure WebExtensions are spared from JIT disabling in higher security settings (Medium-High)

[Tor Bug Tracker & Wiki]

#23719: Make sure WebExtensions are spared from JIT disabling in higher security
settings (Medium-High)
-------------------------------------------------+-------------------------
 Reporter:  cypherpunks                          |          Owner:  tbb-
                                                 |  team
     Type:  defect                               |         Status:
                                                 |  needs_review
 Priority:  Medium                               |      Milestone:
Component:  Applications/Tor Browser             |        Version:
 Severity:  Major                                |     Resolution:
 Keywords:  tbb-performance, GeorgKoppen201911,  |  Actual Points:  0.5
  TorBrowserTeam201911R                          |
Parent ID:                                       |         Points:  1
 Reviewer:                                       |        Sponsor:
-------------------------------------------------+-------------------------
Changes (by acat):

 * keywords:  tbb-performance, GeorgKoppen201911, TorBrowserTeam201911 =>
     tbb-performance, GeorgKoppen201911, TorBrowserTeam201911R
 * status:  new => needs_review
 * actualpoints:   => 0.5


Comment:

 Applied tom's backported patches: https://github.com/acatarineu/tor-
 browser/commits/23719 and did a pass of `clang-format` that fixed some
 minor style issues.

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