is_enabled()) { echo '

'; echo ''.get_string('completionreport','completion').''; echo '

'; } }