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
..
PdfJsDefaultPreferences.jsm	Update the eslint-plugin-mozilla to the latest version (PR 10905 follow-up)	2019-09-07 12:52:37 +02:00