diff --git a/search/query.php b/search/query.php index a477860f2f0..96c753ca72d 100644 --- a/search/query.php +++ b/search/query.php @@ -168,7 +168,7 @@ } print_box_start(); - print_heading($strquery); + echo $OUTPUT->heading($strquery); print_box_start(); @@ -380,4 +380,4 @@ } print_box_end(); print_footer(); -?> \ No newline at end of file +?> diff --git a/search/stats.php b/search/stats.php index 40e73f0fe86..703c1bedf8c 100644 --- a/search/stats.php +++ b/search/stats.php @@ -53,7 +53,7 @@ require_once($CFG->dirroot.'/search/lib.php'); /// keep things pretty, even if php5 isn't available print_box_start(); - print_heading($strquery); + echo $OUTPUT->heading($strquery); print_box_start(); @@ -107,7 +107,7 @@ require_once($CFG->dirroot.'/search/lib.php'); $spacer = new html_image(); $spacer->height = 20; echo $OUTPUT->spacer(clone($spacer)) . '
'; - print_heading($solutionsstr); + echo $OUTPUT->heading($solutionsstr); unset($admin_table->data); if (isset($errors['dir'])) { @@ -160,7 +160,7 @@ require_once($CFG->dirroot.'/search/lib.php'); } - print_heading($databasestatestr); + echo $OUTPUT->heading($databasestatestr); print_table($table); print_box_end();