Manual:SearchHighlighter.php