Developer credits
Git merges in Moodle 3.1.x by AMOS bot
commit 5a9fcb1e7e6929880f8b23a01386a5cca4667146 Author: AMOS bot <amos@moodle.org> Date: Thu, 01 Dec 2016 00:05:52 +0800 Tag: v3.1.4 Merge branch 'MOODLE_31_STABLE' into install_31_STABLE
commit af23df9c805ceab4446110b5f8f0ae0663ba53ea Author: AMOS bot <amos@moodle.org> Date: Thu, 24 Nov 2016 00:06:29 +0800 Tag: v3.1.4 Merge branch 'MOODLE_31_STABLE' into install_31_STABLE
commit 22e7edad43e6782b0f5b65def999b396c0aa9868 Author: AMOS bot <amos@moodle.org> Date: Sat, 22 Oct 2016 00:04:59 +0800 Tag: v3.1.3 Merge branch 'MOODLE_31_STABLE' into install_31_STABLE