From af9fcd0873a0fa68e17e1c08e014ee31489f6317 Mon Sep 17 00:00:00 2001 From: moodler Date: Tue, 17 Aug 2004 16:20:41 +0000 Subject: [PATCH] Interface tweaks --- mod/wiki/lib.php | 6 +++--- mod/wiki/view.php | 5 ++--- 2 files changed, 5 insertions(+), 6 deletions(-) diff --git a/mod/wiki/lib.php b/mod/wiki/lib.php index 079629bd58..0c00bca727 100644 --- a/mod/wiki/lib.php +++ b/mod/wiki/lib.php @@ -920,12 +920,12 @@ function wiki_print_search_form($cmid, $search="", $userid, $groupid, $return=fa global $CFG; # TODO: Add Group and User !!! $output = "
wwwroot/mod/wiki/view.php\">"; - $output .= "".get_string("search").': '; + $output .= ""; + $output .= ""; $output .= ""; $output = $output.($groupid?"":""); $output = $output.($userid?"":""); $output .= "".' '; - $output .= ""; $output .= ""; $output .= ""; $output .= ""; @@ -1411,4 +1411,4 @@ function wiki_admin_revert($proceed, $authorfieldpattern, $changesfield, $howtoo } #-- while($row) return $ret; } -?> \ No newline at end of file +?> diff --git a/mod/wiki/view.php b/mod/wiki/view.php index eeba07a07e..a7105e57d6 100644 --- a/mod/wiki/view.php +++ b/mod/wiki/view.php @@ -263,7 +263,7 @@ echo ''; /// Searchform - echo ''; + echo ''; wiki_print_search_form($cm->id, $q, $userid, $groupid, false); echo ''; @@ -280,9 +280,8 @@ } /// Formatting Rules - echo ''; + echo ''; helpbutton('howtowiki', get_string('howtowiki', 'wiki'), 'wiki'); - echo get_string('howtowiki','wiki'); echo ''; echo ''; -- 2.39.5