Global replacement of <? with <?php to conform with coding standards