Как изменить прокси с именем пользователя и паролем JavaScript

Question

Я использую этот код, чтобы изменить прокси в Firefox с помощью JavaScript, и это работает.

Как мне ввести имя пользователя и пароль для прокси?

Components.utils.import("resource://gre/modules/Services.jsm");
Services.prefs.setIntPref("network.proxy.type", 1);
Services.prefs.setCharPref("network.proxy.http", proxy);
Services.prefs.setIntPref("network.proxy.http_port", port);