Improve handling of preferences in Firefox
Support for the image mask in higher resolution than the image itself
Making src/core/jpx.js adhere to the style guide
Merge pull request #4425 from timvandermeij/jpx-syntax

Making src/core/jpx.js adhere to the style guide
Move globals in web/pdf_find_bar.js
Merge pull request #4433 from Snuffleupagus/pdf-find-bar-move-globals

Move globals in web/pdf_find_bar.js
Merge pull request #4246 from pnml/hiresmask

Support for the image mask in higher resolution than the image itself
Merge pull request #4225 from Snuffleupagus/prefs-v3

Improve handling of preferences in Firefox