mirror of
https://github.com/moodle/moodle.git
synced 2025-03-20 15:40:17 +01:00
They are not really needed and, with the new course index (or maybe with the new navigation, I've not checked), they don't work any more. Hence, removing them.