. echo $OUTPUT->doctype() ?> htmlattributes(); ?>> <?php echo $OUTPUT->page_title(); ?> standard_head_html() ?> body_attributes(); ?>> standard_top_of_body_html() ?>
main_content(); ?>
standard_end_of_body_html() ?>