From e23f86faa91f6b12ad499d27d3a06a6873230714 Mon Sep 17 00:00:00 2001 From: redmatrix Date: Sun, 30 Aug 2015 22:39:33 -0700 Subject: more work on doco search --- mod/help.php | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'mod/help.php') 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 .= '

' . t('Documentation Search') . ' - ' . htmlspecialchars($_REQUEST['search']) . '

'; + $r = search_doc_files($_REQUEST['search']); if($r) { - $o .= '