Merge branch 'install_33_STABLE' of https://git.in.moodle.com/amosbot/moodle-install...