replace short open tags <? with full open tags <?php