diff --git a/themes/default/default.php b/themes/default/default.php index af9cc703..810f3fdc 100644 --- a/themes/default/default.php +++ b/themes/default/default.php @@ -1,5 +1,6 @@ get_string('theme'); $base_href = $config->get_string('base_href'); $data_href = $config->get_string('data_href'); $contact_link = $config->get_string('contact_link'); @@ -83,9 +84,9 @@ print << {$this->title} - + $header_html - + $script_html