diff options
| -rw-r--r-- | devtools/client/menus.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devtools/client/menus.js b/devtools/client/menus.js index 1d2168967..dbacb367d 100644 --- a/devtools/client/menus.js +++ b/devtools/client/menus.js @@ -189,7 +189,8 @@ exports.menuitems = [ l10nKey: "getMoreDevtoolsCmd", oncommand(event) { let window = event.target.ownerDocument.defaultView; - window.openUILinkIn("https://addons.mozilla.org/firefox/collections/mozilla/webdeveloper/", "tab"); + let getMoreURL = Services.prefs.getCharPref("browser.getdevtools.url"); + window.openUILinkIn(getMoreURL, "tab"); } }, ]; |