equal
deleted
inserted
replaced
445 $page_data = array(); |
445 $page_data = array(); |
446 if ( $row = $db->fetchrow() ) |
446 if ( $row = $db->fetchrow() ) |
447 { |
447 { |
448 do |
448 do |
449 { |
449 { |
450 $row['page_text'] = htmlspecialchars($row['page_text']); |
450 $row['page_text'] = htmlspecialchars(strip_tags($row['page_text'])); |
451 $row['page_name'] = htmlspecialchars($row['page_name']); |
451 $row['page_name'] = htmlspecialchars($row['page_name']); |
452 |
452 |
453 // Highlight results (this is wonderfully automated) |
453 // Highlight results (this is wonderfully automated) |
454 $row['page_text'] = highlight_and_clip_search_result($row['page_text'], $word_list, $case_sensitive); |
454 $row['page_text'] = highlight_and_clip_search_result($row['page_text'], $word_list, $case_sensitive); |
455 if ( strlen($row['page_text']) > 250 && !preg_match('/^\.\.\.(.+)\.\.\.$/', $row['page_text']) ) |
455 if ( strlen($row['page_text']) > 250 && !preg_match('/^\.\.\.(.+)\.\.\.$/', $row['page_text']) ) |