short tag replaced with <?php