Merge branch 'MDL-25808' of git://git.luns.net.uk/moodle