diff options
Diffstat (limited to 'mod/help.php')
| -rw-r--r-- | mod/help.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/mod/help.php b/mod/help.php index dd1dc9cd8..16ec069a7 100644 --- a/mod/help.php +++ b/mod/help.php @@ -143,9 +143,12 @@ function help_content(&$a) { nav_set_selected('help'); if($_REQUEST['search']) { + + $o .= '<h2>' . t('Documentation Search') . ' - ' . htmlspecialchars($_REQUEST['search']) . '</h2>'; + $r = search_doc_files($_REQUEST['search']); if($r) { - $o .= '<ul>'; + $o .= '<ul class="help-searchlist">'; foreach($r as $rr) { $dirname = dirname($rr['sid']); $fname = basename($rr['sid']); |