diff --git a/search/indexersplash.php b/search/indexersplash.php
index 8f80e691568..916a3ef6da3 100644
--- a/search/indexersplash.php
+++ b/search/indexersplash.php
@@ -66,8 +66,8 @@
               ."<a href='tests/index.php'>Test indexing</a> or "
               ."<a href='indexer.php?areyousure=yes'>Continue indexing</a> or <a href='index.php'>Back to query page</a>."
               ."</pre>");
-        print_footer();
+        echo $OUTPUT->footer();
     } else {
         header('Location: indexer.php?areyousure=yes');
     }
-?>
\ No newline at end of file
+?>
diff --git a/search/query.php b/search/query.php
index 96c753ca72d..41e6f6eed1f 100644
--- a/search/query.php
+++ b/search/query.php
@@ -379,5 +379,5 @@
     <?php
     }
     print_box_end();
-    print_footer();
+    echo $OUTPUT->footer();
 ?>
diff --git a/search/stats.php b/search/stats.php
index 703c1bedf8c..e74671a897c 100644
--- a/search/stats.php
+++ b/search/stats.php
@@ -165,5 +165,5 @@ require_once($CFG->dirroot.'/search/lib.php');
     
     print_box_end();
     print_box_end();
-    print_footer();
+    echo $OUTPUT->footer();
 ?>