Merge branch 'master_MDL-31397' of git://github.com/danmarsden/moodle