Replace <? with <?php