V2.7.1.2
Merge branch 'MOODLE_27' of github.com:gjb2048/moodle-format_topcoll into MOODLE_27