mirror of
https://github.com/moodle/moodle.git
synced 2025-02-24 12:03:12 +01:00
(http://moodle.org/bugs/bug.php?op=show&bugid=5763) Merged (more or less) from MOODLE_16_STABLE
(http://moodle.org/bugs/bug.php?op=show&bugid=5763) Merged (more or less) from MOODLE_16_STABLE