fix php short tags error