Merge branch 'MDL-56789-master' of git://github.com/rezaies/moodle
authorJun Pataleta <jun@moodle.com>
Wed, 7 Aug 2019 06:01:39 +0000 (14:01 +0800)
committerJun Pataleta <jun@moodle.com>
Wed, 7 Aug 2019 06:01:39 +0000 (14:01 +0800)

Trivial merge