É necessário o browser Opera.
- Esta extensão pode aceder aos seus dados em alguns sítios.
Imagem
Sobre a extensão
- Transferências
- 7.602
- Categoria
- Ferramentas de Programador
- Versão
- 0.2.0
- Tamanho
- 763,8 KB
- Última actualização
- 26 de Fevereiro de 2021
- Licença
- Política de privacidade
- Sítio do serviço
- https://mermaid.stefs.me
- Página de ajuda
- https://mermaid.stefs.me
- Página do código fonte
- https://github.com/Stefan-S/mermaid-extension
Relacionado
-
DomainUserAgent
This extension changes the UserAgent sent by your browser on a per-domain base. You can set up a different UserAgent for a specific domain, but still use the default one otherwise.
-
Pixel converter
Pixel converter is a crucial web development and design tool for converting pixel values into different measurement units like inches, centimeters, or percentages, ensuring consistency across diverse devices and screens in responsive web design.
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
-
PDF API HTML5
Mini SDK JavaScript and APIs library to create PDF file for web apps
-
Web Edit
Edite facilmente sites temporariamente com o clique de um botão.