Unable to edit device port settings

I checked the same two places you recommended for another issue and see the same errors on the port edit page: