HTML editor

This defines whether the HTML editor is used by default. If set to User defined, users will be allowed to choose whether to use the HTML editor in their personal settings or not. Otherwise the specified setting will be used sitewide.