PHP extension for asynchronous DNS lookups