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