mirror of
https://github.com/moodle/moodle.git
synced 2025-03-30 05:22:35 +02:00
8f9b57d5d3
Other similar columns config.value and config_plugins.value are TEXT, so it is surprising that this column is different, and that has lead to bugs in the past, so we should make it consistent.