. // Get the HTML for the settings bits. $html = theme_clean_get_html_for_settings($OUTPUT, $PAGE); echo $OUTPUT->doctype() ?> htmlattributes(); ?>> <?php echo $OUTPUT->page_title(); ?> standard_head_html() ?> body_attributes(); ?>> standard_top_of_body_html() ?>
navbar(); ?>
heading; ?>
course_header(); ?>
course_content_header(); echo $OUTPUT->main_content(); echo $OUTPUT->course_content_footer(); ?>
standard_end_of_body_html() ?>