Avoid PHP short tags