No php short tags