mirror of
https://github.com/moodle/moodle.git
synced 2025-04-01 06:22:35 +02: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.