Opera-Browser erforderlich.
A browser extension for Chrome, Opera & Firefox that adds Mermaid language support to GitHub. A fork from the not updated GitHub + Mermaid extension.
- Diese Erweiterung kann auf Ihre Daten auf einigen Webseiten zugreifen.
Bildschirmfoto
Über die Erweiterung
- Downloads
- 6.476
- Kategorie
- Entwickler-Tools
- Version
- 0.2.0
- Größe
- 763,8 KB
- Letztes Update
- 26. Februar 2021
- Lizenz
- Datenschutzerklärung
- Website des Diensts
- https://mermaid.stefs.me
- Supportseite
- https://mermaid.stefs.me
- Quellcode-Seite
- https://github.com/Stefan-S/mermaid-extension
Ähnliche
-
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.
Bewertung: Gesamte Bewertungen: 7
-
Web Developer
Adds a toolbar button with various web developer tools. The official port of the Web Developer extension for Firefox.
Bewertung: Gesamte Bewertungen: 149
-
Image Resizer
Rescale multiple images into different sizes in a single step
Bewertung: Gesamte Bewertungen: 2
-
Bitbucket PR Reviewer
Review bitbucket pull-requests comments
Bewertung: Gesamte Bewertungen: 1
-
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.
Bewertung: Gesamte Bewertungen: 0