JavaScript APIgrokVariablessettingsOn this pagesettings const settings: Settings Settings API (settings, shell, dapi, userSettings) Source grok.ts:23