Merge branch 'install_24_STABLE' of git://git.moodle.cz/moodle-install into MOODLE_24...