Merge branch 'install_23_STABLE' of git://github.com/amosbot/moodle into MOODLE_23_STABLE