Bug 41460: Migrate preferences to the name we will user for 12.0 (maint-11.5)
We are forcing users to pass by 11.5.8, so, instead of adding migration code in 12.0 and keep it for a long time, we just add it to 11.5.
Torbutton maint-11.5 part of tor-browser#41460 (closed).
Edited by Pier Angelo Vendrame