Bug 1715777 - Hide individual developer menuitems if devtools disabled by policy. r=emalysz?

Differential Revision: https://phabricator.services.mozilla.com/D117548

devtools/client/framework/devtools-browser.js

@@ -140,6 +140,17 @@ var gDevToolsBrowser = (exports.gDevToolsBrowser = {
       "menu_browserContentToolbox",
       remoteEnabled && win.gMultiProcessBrowser
     );
+
+    if (Services.prefs.getBoolPref("devtools.policy.disabled", false)) {
+      toggleMenuItem("menu_devToolbox", false);
+      toggleMenuItem("menu_devtools_remotedebugging", false);
+      toggleMenuItem("menu_browserToolbox", false);
+      toggleMenuItem("menu_browserContentToolbox", false);
+      toggleMenuItem("menu_browserConsole", false);
+      toggleMenuItem("menu_responsiveUI", false);
+      toggleMenuItem("menu_eyedropper", false);
+      toggleMenuItem("extensionsForDevelopers", false);
+    }
   },
 
   /**