'; $participationreport = get_string('participationreport'); echo "wwwroot}/course/report/participation/index.php?id={$course->id}\">"; echo "$participationreport\n"; echo '

'; } ?>