fix php short tags