When PHP is nested within an HTML comment, it is still processed by the PHP server. Because of this PHP is not grayed out by HTML comments, but this looks bad. So: this extension keeps <?php and ?> ...