IFix php short tags