Merge branch 'wip-MDL-42912-master' of git://github.com/marinaglancy/moodle