- License, v. 2.0. If a copy of the MPL was not distributed with this

   - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->

  -  displayed when going to about:devtools. UI depends on the value of the preference

  -  "devtools.enabled".

  -

  -  "aboutDevtools.enable.*" and "aboutDevtools.newsletter.*" keys are used when DevTools

     are disabled

  -  "aboutDevtools.welcome.*" keys are used when DevTools are enabled

  - -->

  -  section displayed when DevTools are disabled. -->

  -  section displayed when devtools are disabled and the user triggered DevTools by using

  -  the Inspect Element menu item. -->

  -  when users come from using the Inspect Element menu item. -->

          "Examine and edit HTML and CSS with the Developer Tools’ Inspector.">

  -  when users come from about:debugging. -->

          "Develop and debug WebExtensions, web workers, service workers and more with Firefox Developer Tools.">

  -  users pressed a DevTools key shortcut. -->

          "You activated a Developer Tools shortcut. If that was a mistake, you can close this Tab.">

  -  clicked on a "Enable Developer Tools" menu item. -->

          "Perfect your website’s HTML, CSS, and JavaScript with tools like Inspector and Debugger.">

  -  all possible entry points (keyshortcut, menu item etc…). -->

          "Firefox Developer Tools are disabled by default to give you more control over your browser.">

  -  https://developer.mozilla.org/docs/Tools displayed in the top section when DevTools

  -  are disabled. -->

  -  The newsletter is only available in english at the moment.

  -  See Bug 1415273 for support of additional languages.-->

Privacy Policy.">

  -  https://www.mozilla.org/firefox/developer/ displayed in the footer. -->