Fix PHP short tags usage