IDN client in PHP