Developer credits
Git merges in Moodle 3.5.13 by Jake Dallimore
commit cab24c183825fd56ccb1dd90eafaed3dac9241fe Author: Jake Dallimore <jake@moodle.com> Date: Fri, 10 Jul 2020 15:11:26 +0800 Tag: v3.5.13 Merge branch 'MDL-69232-35' of git://github.com/andrewnicols/moodle into MOODLE_35_STABLE
commit 5e5de409b58229d20c20220bea6a61c9f1ab3035 Author: Jake Dallimore <jake@moodle.com> Date: Thu, 09 Jul 2020 10:39:46 +0800 Tag: v3.5.13 Merge branch 'MDL-69135-35' of git://github.com/andrewnicols/moodle into MOODLE_35_STABLE
commit a8265dc500efe989b5c21b93b35ffaf15692895d Author: Jake Dallimore <jake@moodle.com> Date: Mon, 06 Jul 2020 10:45:48 +0800 Tag: v3.5.13 Merge branch 'MDL-69136-35' of git://github.com/andrewnicols/moodle into MOODLE_35_STABLE
commit cd227ab8ecc49b607405457376d8e10a5fe80c93 Author: Jake Dallimore <jake@moodle.com> Date: Thu, 02 Jul 2020 11:58:11 +0800 Tag: v3.5.13 Merge branch 'MDL-69149-35' of git://github.com/andrewnicols/moodle into MOODLE_35_STABLE