Merge branch 'MDL-62217_master' of git://github.com/dmonllao/moodle
authorAndrew Nicols <andrew@nicols.co.uk>
Wed, 9 May 2018 10:41:11 +0000 (18:41 +0800)
committerJun Pataleta <jun@moodle.com>
Thu, 10 May 2018 01:16:01 +0000 (09:16 +0800)

Trivial merge