Jonas Jenwald 426945b480 Update Prettier to version 2.0 ... Please note that these changes were done automatically, using `gulp lint --fix`. Given that the major version number was increased, there's a fair number of (primarily whitespace) changes; please see https://prettier.io/blog/2020/03/21/2.0.0.html In order to reduce the size of these changes somewhat, this patch maintains the old "arrowParens" style for now (once mozilla-central updates Prettier we can simply choose the same formatting, assuming it will differ here).		2020-04-14 12:28:14 +02:00
..
migration.js	Update Prettier to version 2.0	2020-04-14 12:28:14 +02:00
options.html	Modify a number of the viewer preferences, whose current default value is 0, such that they behave as expected with the view history	2019-02-02 10:21:18 +01:00
options.js	Update Prettier to version 2.0	2020-04-14 12:28:14 +02:00