Replacing <? with <?php