Good question. I don't think php gives us hostnames punny-coded in server var. They would probably be unicode chars.
And the routing does not fully support unicode at this point. So it's questionable whether international hostnames work at the moment at all.