Webextensions API & changing proxy server settings

Hi folks,

Can someone tell me if defining & changing the browser’s proxy server is possible with Webextensions API?

Thanks in advance,
Larry P.

Comparing these two:

https://developer.chrome.com/extensions/api_index

https://developer.mozilla.org/en-US/Add-ons/WebExtensions/Browser_support_for_JavaScript_APIs

Will tell you that there is a chrome.proxy API, but Firefox doesn’t mention to support it.

There are plans to implement a slightly extended Proxy API. See https://bugzilla.mozilla.org/show_bug.cgi?id=1283639 and https://docs.google.com/document/d/1W45o5X2bFRPrTaQDFp9IzTJ8njCVfEgyENS7i2owaUI/edit?usp=sharing (I don’t know why it’s private, I’d assume you should get access to it if you request it, at least in the intent to implement announcement they asked for feedback).

Here it is: https://developer.mozilla.org/en-US/Add-ons/WebExtensions/API/proxy
Good luck!