converting php to short tags