Fix #63 - remove duplicated header/name in boost themes.

catalyst · Oct 30, 2023 · ba3ff3b · ba3ff3b
1 parent 759ab93
commit ba3ff3b
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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);