Git merges in Moodle 3.5.13 by Eloy Lafuente (stronk7)

commit e5da0910615a309eb2f2c393c9d910775f9302da
Author: Eloy Lafuente (stronk7) <stronk7@moodle.org>
Date:   Sat, 11 Jul 2020 02:21:49 +0800
Tag:    v3.5.13

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

commit 71433c086bdfc7101ea77fb3282749ae0751fa31
Author: Eloy Lafuente (stronk7) <stronk7@moodle.org>
Date:   Thu, 09 Jul 2020 02:53:51 +0800
Tag:    v3.5.13

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

commit c847b6d7258ef787ea0250285f0b96987e0563e8
Author: Eloy Lafuente (stronk7) <stronk7@moodle.org>
Date:   Sat, 04 Jul 2020 00:41:06 +0800
Tag:    v3.5.13

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

commit 1ac49204f8f26c66fbfe1ed9ff2767677130e66e
Author: Eloy Lafuente (stronk7) <stronk7@moodle.org>
Date:   Thu, 02 Jul 2020 05:24:52 +0800
Tag:    v3.5.13

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

commit 8c82cc367c68f9f1ed16d3150c268288f274e1d8
Author: Eloy Lafuente (stronk7) <stronk7@moodle.org>
Date:   Fri, 26 Jun 2020 00:06:04 +0800
Tag:    v3.5.13

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