Git merges in Moodle 3.5.12 by Sara Arjona

commit 5a6d92259b0a71e1f640eb1bcb770261ebaad5b8
Author: Sara Arjona <sara@moodle.com>
Date:   Thu, 02 Apr 2020 22:51:21 +0800
Tag:    v3.5.12

Merge branch 'install_35_STABLE' of https://git.in.moodle.com/amosbot/moodle-install into MOODLE_35_STABLE

commit 2f96412939ef54e9c8ba426e43bcaa560d591b8d
Author: Sara Arjona <sara@moodle.com>
Date:   Tue, 31 Mar 2020 21:10:00 +0800
Tag:    v3.5.12

Merge branch 'MDL-66245-35' of git://github.com/junpataleta/moodle into MOODLE_35_STABLE