mirror of
https://github.com/moodle/moodle.git
synced 2025-02-23 03:18:07 +01:00
only executed if it hasn't been done in MOODLE_16_STABLE. Bug 5717. (http://moodle.org/bugs/bug.php?op=show&bugid=5717)
only executed if it hasn't been done in MOODLE_16_STABLE. Bug 5717. (http://moodle.org/bugs/bug.php?op=show&bugid=5717)