- http_show_settings(+Options)// is det
- Emit an HTML representation of the current settings. Options:
- edit(+Boolean)
- hide_module(+Boolean)
- If true, hide module headers from the user.
- module(+ModuleList)
- If present, only show settings from modules in ModuleList.