From ba3ff3bea5382cbe74518360d44711b84cafebed Mon Sep 17 00:00:00 2001 From: Dan Marsden Date: Mon, 30 Oct 2023 19:53:44 +1300 Subject: [PATCH] Fix #63 - remove duplicated header/name in boost themes. --- view.php | 3 --- 1 file changed, 3 deletions(-) diff --git a/view.php b/view.php index d9c7255..263ec8a 100644 --- a/view.php +++ b/view.php @@ -88,9 +88,6 @@ echo $OUTPUT->header(); -echo $OUTPUT->heading(format_string($subcourse->name)); -echo $OUTPUT->box(format_module_intro('subcourse', $subcourse, $cm->id)); - if ($refcourse) { $percentage = \core_completion\progress::get_course_progress_percentage($refcourse); $strgrade = subcourse_get_current_grade($subcourse, $USER->id);