use html5 mark tag to highlight search parameter

This commit is contained in:
Florian Thoma 2017-08-30 12:05:11 +10:00 committed by GitHub
parent 76f2358f3b
commit 0d15cb02cd

View File

@ -222,7 +222,7 @@ class DBText extends DBString
// Maintain case of original string
$summary = preg_replace(
'/' . preg_quote($stringPiece, '/') . '/i',
'<span class="highlight">$0</span>',
'<mark>$0</mark>',
$summary
);
}