mirror of
https://github.com/moodle/moodle.git
synced 2025-03-28 11:32:42 +01:00
Existence of admin settings must not depend on other settings, especially not from other plugins. In any case somebody should cleaup the preference mess and allow plugins to setup user preferences instead of hardcoding everything in core.