[Greasemonkey] DNS lookups in greasmonkey?

[Matt Labrum]

or theres another way (which is what i use in my script) make a php file on
your server and put in

<?php
if(isset($_GET['host'])){
    echo gethostbyname(trim($_GET['host']));
}
?>


then just GM_xmlhttprequest it

On 3/16/06, Jeremy Dunck <jdunck at gmail.com> wrote:
>
> On 3/15/06, Jason Edgecombe <jedgecombe at carolina.rr.com> wrote:
> > Must I write an extension to do this?
>
> Currently, yeah.  But if you want to add an API, send in a patch.  :)
> _______________________________________________
> Greasemonkey mailing list
> Greasemonkey at mozdev.org
> http://mozdev.org/mailman/listinfo/greasemonkey
>