added a highlight_text function in core.php