From aa9872466dad6e670cdf3f43c2894edbddb24a29 Mon Sep 17 00:00:00 2001
From: martin <martin>
Date: Tue, 11 Jun 2002 04:56:11 +0000
Subject: [PATCH] Added search form

---
 course/social.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/course/social.php b/course/social.php
index f23f74d31c..3db47cac84 100644
--- a/course/social.php
+++ b/course/social.php
@@ -46,6 +46,12 @@
       echo "</TD></TR></TABLE>";
       echo "<BR>";
 
+      // Print a form to search discussions
+      print_simple_box("Search Discussions", $align="CENTER", $width="100%", $color="$THEME->cellheading");
+      echo "<DIV ALIGN=CENTER>";
+      print_discussion_search_form($course);
+      echo "</DIV>";
+
       // Print Admin links for teachers and admin.
       if (isteacher($USER->id) || isadmin()) {
           print_simple_box("Admin", $align="CENTER", $width="100%", $color="$THEME->cellheading");
@@ -64,7 +70,6 @@
           $adminicon[]="<IMG SRC=\"../files/pix/files.gif\" HEIGHT=16 WIDTH=16 ALT=\"Files\">";
 
           print_side_block("", $admindata, "", $adminicon);
-
       }
       ?>
 
-- 
2.39.5