mirror of
https://github.com/moodle/moodle.git
synced 2025-04-14 13:02:07 +02: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.