Ignore temp session files
lintWith is now lint and false by default

This initialisation should be false to start with as we set PHP mode as
a basis and have no linter for that
We set the mode in processes/on-editor-load.php and then lint: true if
it's a JS mode.
JSON highlighting also & set lint: true if JS/JSON