Allows you to manage script settings through GM menu
Ce script ne devrait pas être installé directement. C'est une librairie créée pour d'autres scripts. Elle doit être inclus avec la commande // @require https://update.greasyfork.org/scripts/14604/92266/ScriptSettings.js
See the source for docs.
