This is slightly modified version of Text_Highlighter 0.8.0.

See https://pear.php.net/package/Text_Highlighter