More docs about php upgrade issues