Update highlight.php