Allows you to manage script settings through GM menu
Ce script ne doit pas être installé directement. C'est une librairie destinée à être incluse dans d'autres scripts avec la méta-directive // @require https://update.greasyfork.org/scripts/14604/92266/ScriptSettings.js
See the source for docs.
