Add highlight.php