From bec7ff3ee344b355aacfa6fd536050f5aba77cfa Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Wed, 10 Jul 2002 15:26:08 +0000
Subject: [PATCH] Added search box here

---
 mod/forum/index.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/mod/forum/index.php b/mod/forum/index.php
index c19ece5940..3bf541b9c9 100644
--- a/mod/forum/index.php
+++ b/mod/forum/index.php
@@ -66,6 +66,9 @@
     }
 
     print_table($table);
+    echo "<DIV ALIGN=CENTER>";
+    print_discussion_search_form($course, $search);
+    echo "</DIV>";
 
     print_footer($course);
 
-- 
2.39.5