is_enabled()) { echo '

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

'; } }