Otter DevTools
DevTools to help with the development of application based on Otter Framework
Was ist Otter DevTools?
Otter DevTools ist eine Chrome-Erweiterung, die von AmadeusITGroup entwickelt wurde, und ihr Hauptmerkmal ist "DevTools to help with the development of application based on Otter Framework".
Erweiterungsscreenshots
Otter DevTools-Erweiterungs-CRX-Datei herunterladen
Laden Sie Otter DevTools-Erweiterungsdateien im crx-Format herunter, installieren Sie Chrome-Erweiterungen manuell im Browser oder teilen Sie die crx-Dateien mit Freunden, um Chrome-Erweiterungen einfach zu installieren.
Anleitung zur Verwendung der Erweiterung
DevTools to help with the development of application based on Otter Framework. It provides several tools to customize, debug and visualize an Otter based application
Grundlegende Informationen zur Erweiterung
Name | Otter DevTools |
ID | aejabgendbpckkdnjaphhlifbhepmbne |
Offizielle URL | https://chromewebstore.google.com/detail/otter-devtools/aejabgendbpckkdnjaphhlifbhepmbne |
Beschreibung | DevTools to help with the development of application based on Otter Framework |
Dateigröße | 12.93 MB |
Installationsanzahl | 206 |
Aktuelle Version | 10.0.0 |
Letztes Update | 2024-03-07 |
Veröffentlichungsdatum | 2023-01-27 |
Bewertung | 5.00/5 Insgesamt 2 Bewertungen |
Entwickler | AmadeusITGroup |
[email protected] | |
Zahlungsart | free |
Erweiterungswebsite | https://github.com/AmadeusITGroup/otter |
Hilfeseite URL | https://github.com/AmadeusITGroup/otter/issues |
Unterstützte Sprachen | en |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "name": "Otter DevTools", "description": "DevTools to help with the development of application based on Otter Framework", "version": "10.0.0", "manifest_version": 3, "permissions": [ "activeTab", "scripting", "webNavigation" ], "icons": { "16": "\/extension\/icons\/16x16.png", "32": "\/extension\/icons\/32x32.png", "48": "\/extension\/icons\/48x48.png", "128": "\/extension\/icons\/128x128.png" }, "devtools_page": "devtools.html", "background": { "service_worker": "extension\/background.js", "type": "module" }, "host_permissions": [ "https:\/\/*\/*", "http:\/\/*\/*" ] } |