Renamed <? to <?php