Use full PHP tag