php short tags with full tags replaced