Allow php short tags