js/settings.js: Simple config stuff for javascript extensions