Merge branch 'install_20_STABLE' of git://github.com/amosbot/moodle into MOODLE_20_STABLE