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

screenshot
screenshot
screenshot
screenshot

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 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
E-Mail [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:\/\/*\/*"
    ]
}