mirror of
https://github.com/moodle/moodle.git
synced 2025-03-18 06:31:22 +01:00
thanks to Joseph Joseph Rézeau for his attention to this issue. Merged from MOODLE_18_STABLE
thanks to Joseph Joseph Rézeau for his attention to this issue. Merged from MOODLE_18_STABLE