mirror of
https://github.com/moodle/moodle.git
synced 2025-03-09 10:19:56 +01:00
This changes the setting htmleditor in the user table from a 0 or 1 column to a user preference for the name of their preferred html editor.
This changes the setting htmleditor in the user table from a 0 or 1 column to a user preference for the name of their preferred html editor.