Bug 1609100 - Remove devtools.enabled preference r=devtools-reviewers…

…,nchevobbe

Depends on D141468

All usage of this preference should now have been removed.
We don't plan to disable devtools completely, but only to disable the F12 shortcut.

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

modules/libpref/init/StaticPrefList.yaml

@@ -1775,14 +1775,6 @@
 # Prefs starting with "devtools."
 #---------------------------------------------------------------------------
 
-# Tells if DevTools have been explicitely enabled by the user. This pref
-# allows to disable all features related to DevTools for users that never use
-# them. Until bug 1361080 lands, we always consider them enabled.
-- name: devtools.enabled
-  type: RelaxedAtomicBool
-  value: true
-  mirror: always
-
 - name: devtools.console.stdout.chrome
   type: RelaxedAtomicBool
   value: @IS_NOT_MOZILLA_OFFICIAL@

modules/libpref/init/all.js

@@ -4479,7 +4479,7 @@ pref("devtools.jsonview.enabled", true);
 pref("devtools.theme", "auto", sticky);
 
 // Completely disable DevTools entry points, as well as all DevTools command
-// line arguments This should be merged with devtools.enabled, see Bug 1440675.
+// line arguments.
 pref("devtools.policy.disabled", false);
 
 // Enable deprecation warnings.