mirror of
https://github.com/moodle/moodle.git
synced 2025-01-31 12:45:04 +01:00
d9b60e315e
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.