[tor-bugs] #22254 [Applications/Tor Browser]: Our extensions get disabled in the Tor Browser 7.0a4 release candidate

[Tor Bug Tracker & Wiki]

#22254: Our extensions get disabled in the Tor Browser 7.0a4 release candidate
--------------------------------------+--------------------------
 Reporter:  gk                        |          Owner:  tbb-team
     Type:  defect                    |         Status:  closed
 Priority:  Immediate                 |      Milestone:
Component:  Applications/Tor Browser  |        Version:
 Severity:  Blocker                   |     Resolution:  fixed
 Keywords:                            |  Actual Points:
Parent ID:                            |         Points:
 Reviewer:                            |        Sponsor:
--------------------------------------+--------------------------

Comment (by mcs):

 Replying to [comment:3 gk]:
 > `pref()` does not like a `;` between pref name and value. Blah.

 Blah indeed. Apparently that was an easy typo to miss since at least three
 of us failed to notice it :(

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