iri_to_url

Converts a URL with international characters (an IRI) into a pure ASCII URL Uses Punycode to encode any non-ASCII characters in the domain name, and uses standard URL encoding on the rest.