PHP has already been updated on this server. I don’t think I’m using it for anything publicly accessible, but just to be safe.