Mozilla will shut down Pocket’s services on July 8, 2025. At that time users will no longer be able to access the Pocket website, apps and API. You can export your saved items and API data until October 8, 2025 before they are permanently removed. For more information, see this article.

Avatar for Username

Avoid support scams. We will never ask you to call or text a phone number or share personal information. Please report suspicious activity using the “Report Abuse” option.

Learn More

This thread was archived. Please ask a new question if you need help.

How to disable developer tools?

antonio.osuna.sanchez.next
antonio.osuna.sanchez.next

Hello,

in order to harden our enviroment we need to avoid our users to open the developer tools, any of them. For example, I would like to disable the shorcuts to the developers tool without add-ons. We have achieved to hide the menu but whenever we press "F12", we can still access the functionality.

Thank you in advance.

Hello, in order to harden our enviroment we need to avoid our users to open the developer tools, any of them. For example, I would like to disable the shorcuts to the developers tool without add-ons. We have achieved to hide the menu but whenever we press "F12", we can still access the functionality. Thank you in advance.

Chosen solution

hello, you can do so through a firefox policy - for details see:

Read this answer in context 👍 0

All Replies (2)

philipp
philipp
  • Moderator

Chosen Solution

hello, you can do so through a firefox policy - for details see:

antonio.osuna.sanchez.next
antonio.osuna.sanchez.next Question owner

Thank you very much Philipp. That has perfectly worked.