<? short to <?php long tags

This seems to be the last place to have the short notation.