3 Commits

Author	SHA1	Message	Date
Jonas Jenwald	d63da81e7c	Update the eslint-plugin-mozilla to the latest version (PR 10905 follow-up) ... This required adding a number of additional dependencies, based on https://dxr.mozilla.org/mozilla-central/rev/4aed8e10318f38571712350856bf9e61c5f84e1f/tools/lint/eslint/eslint-plugin-mozilla/package.json#32-37 Since this, implicitly, enabled "prettier"[1] for the `extensions/firefox` directory a couple of small code changes were necessary as well. --- [1] Generally speaking I'm wondering if that name is deliberately ironic, since the style it enforces is often times extremely weird and ugly :-P	2019-09-07 12:52:37 +02:00
Jonas Jenwald	0f0650f426	Generate the default_preferences.json file from AppOptions ... Currently any editing of the preferences require updates in *three* separate files, which isn't a great developer experience to say the least. This has annoyed me sufficiently to write this patch, which moves the definition of all preferences into `AppOptions` and adds a new `gulp` task to generate the `default_preferences.json` file for the builds where it's needed.	2019-02-14 20:40:34 +01:00
Jonas Jenwald	76250b923f	[Firefox addon] Refactor bundling of the default_preferences.json file	2018-03-16 16:46:57 +01:00