Hello,
I've been wanting this and searching for this for so long, I decided to
request it myself.
I know extensions can change the browser's proxy settings, so it should be
possible.
And would be great to finally automate this through userscripts.
I am suggesting to change browser's proxy, or maybe just the page's proxy
through curl PHP, if possible, with tampermonkey.
Something like GM_setProxy(ip, port) would be great!
Also support for XHR request would be great!
Maybe something like:
GM_xmlhttpRequest({
method: "GET",
proxy: "127.0.0.1:8080",
url: "http://www.example.com/";,
onload: function(response) {
alert(response.responseText);
}
});
This would be super awesome!
Thank you very much for your attention!
Regards,
Royalgamer06
--
You received this message because you are subscribed to the Google Groups
"greasemonkey-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/greasemonkey-users.
For more options, visit https://groups.google.com/d/optout.
