mirror of
https://github.com/moodle/moodle.git
synced 2025-03-19 23:20:09 +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.