Arnaud Ferraris 520fb81e16 mobile-config-autoconfig: allow user to change the user-agent (MR 16) ... Preferences set with `pref()` can be changed by the user, but they're then reset on each Firefox startup. As users may want a different UA and keep it persistent, we should set the default value with `defaultPref()` instead. This requires moving the preference to the autoconfig file though, as `defaultPref()` isn't recognized in the main config file.		2021-07-15 17:37:05 +02:00
..
common	Move header to common folder (MR 11)	2021-05-20 21:56:48 +02:00
homepage	homepage: link to firefox PC addons page	2021-05-23 12:57:43 +02:00
userChrome	treewide: bump copyright to 2021	2021-05-20 22:07:17 +02:00
userContent	Change about:preferences style (MR 10)	2021-05-23 12:45:17 +02:00
mobile-config-autoconfig.js	mobile-config-autoconfig: allow user to change the user-agent (MR 16)	2021-07-15 17:37:05 +02:00
mobile-config-prefs.js	mobile-config-autoconfig: allow user to change the user-agent (MR 16)	2021-07-15 17:37:05 +02:00
policies.json	policies.json: disable Pocket (MR 3)	2021-03-01 20:55:35 +01:00