1.1 --- a/app/main/member/edit.lua	Tue Oct 19 14:39:01 2021 +0200
     1.2 +++ b/app/main/member/edit.lua	Tue Oct 19 14:42:20 2021 +0200
     1.3 @@ -38,46 +38,6 @@
     1.4                  slot.put("<br />")
     1.5                end
     1.6              end
     1.7 -            if not config.enforce_formatting_engine then
     1.8 -              ui.field.select{
     1.9 -                label = _"Wiki engine for statement",
    1.10 -                name = "formatting_engine",
    1.11 -                foreign_records = config.formatting_engines,
    1.12 -                attr = {id = "formatting_engine"},
    1.13 -                foreign_id = "id",
    1.14 -                foreign_name = "name",
    1.15 -                value = param.get("formatting_engine")
    1.16 -              }
    1.17 -              ui.tag{
    1.18 -                tag = "div",
    1.19 -                content = function()
    1.20 -                  ui.tag{
    1.21 -                    tag = "label",
    1.22 -                    attr = { class = "ui_field_label" },
    1.23 -                    content = function() slot.put("&nbsp;") end,
    1.24 -                  }
    1.25 -                  ui.tag{
    1.26 -                    content = function()
    1.27 -                      ui.link{
    1.28 -                        text = _"Syntax help",
    1.29 -                        module = "help",
    1.30 -                        view = "show",
    1.31 -                        id = "wikisyntax",
    1.32 -                        attr = {onClick="this.href=this.href.replace(/wikisyntax[^.]*/g, 'wikisyntax_'+getElementById('formatting_engine').value)"}
    1.33 -                      }
    1.34 -                      slot.put(" ")
    1.35 -                      ui.link{
    1.36 -                        text = _"(new window)",
    1.37 -                        module = "help",
    1.38 -                        view = "show",
    1.39 -                        id = "wikisyntax",
    1.40 -                        attr = {target = "_blank", onClick="this.href=this.href.replace(/wikisyntax[^.]*/g, 'wikisyntax_'+getElementById('formatting_engine').value)"}
    1.41 -                      }
    1.42 -                    end
    1.43 -                  }
    1.44 -                end
    1.45 -              }
    1.46 -            end
    1.47              ui.field.text{
    1.48                label = _"Statement",
    1.49                name = "statement",