git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Commit 2523bb7b authored by Mike Sheldon's avatar Mike Sheldon

Remove tags before displaying search results heading

parent dbefded4
......@@ -31,7 +31,7 @@ $search_type = $_GET['search_type'];
$results = Server::search($search_term, $search_type);
$smarty->assign('pageheading', 'Results for: ' . $search_term);
$smarty->assign('pageheading', 'Results for: ' . strip_tags($search_term));
$smarty->assign('search_term', $search_term);
$smarty->assign('search_type', $search_type);
$smarty->assign('results', $results);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment