<? short to <?php long tags