File updates from <? to <?php