Git merges in Moodle 3.5.13 by Sara Arjona

commit 9691a7b3316d21b54b07b6952ea18374936351de
Author: Sara Arjona <sara@moodle.com>
Date:   Thu, 18 Jun 2020 20:13:44 +0800
Tag:    v3.5.13

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

commit 2d553d9a1182eb14ec556c56c1103953aa539ed5
Author: Sara Arjona <sara@moodle.com>
Date:   Fri, 29 May 2020 18:52:33 +0800
Tag:    v3.5.13

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

commit 492e9c9d5474413346042b2e55a3b434e6725fd1
Author: Sara Arjona <sara@moodle.com>
Date:   Tue, 19 May 2020 23:54:34 +0800
Tag:    v3.5.13

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

commit c2707068a0ba550ad7a60021e799edd6589e1851
Author: Sara Arjona <sara@moodle.com>
Date:   Tue, 19 May 2020 02:23:18 +0800
Tag:    v3.5.13

Merge branch 'MDL-68728-35-2' of git://github.com/andrewnicols/moodle into MOODLE_35_STABLE