Otter DevTools

DevTools to help with the development of application based on Otter Framework

Cos'è Otter DevTools?

Otter DevTools è un'estensione di Chrome sviluppata da AmadeusITGroup, e la sua funzione principale è "DevTools to help with the development of application based on Otter Framework".

Screenshot dell'Estensione

screenshot
screenshot
screenshot
screenshot

Scarica il file CRX dell'estensione Otter DevTools

Scarica i file di estensione Otter DevTools in formato crx, installa manualmente le estensioni di Chrome nel browser o condividi i file crx con gli amici per installare facilmente le estensioni di Chrome.

Istruzioni per l'Uso dell'Estensione

                        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                    

Informazioni di Base sull'Estensione

Nome Otter DevTools Otter DevTools
ID aejabgendbpckkdnjaphhlifbhepmbne
URL Ufficiale https://chromewebstore.google.com/detail/otter-devtools/aejabgendbpckkdnjaphhlifbhepmbne
Descrizione DevTools to help with the development of application based on Otter Framework
Dimensione del File 12.93 MB
Conteggio Installazioni 206
Versione Corrente 10.0.0
Ultimo Aggiornamento 2024-03-07
Data di Pubblicazione 2023-01-27
Valutazione 5.00/5 Totale 2 Valutazioni
Sviluppatore AmadeusITGroup
Email [email protected]
Tipo di Pagamento free
Sito Web dell'Estensione https://github.com/AmadeusITGroup/otter
URL della Pagina di Aiuto https://github.com/AmadeusITGroup/otter/issues
Lingue Supportate 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:\/\/*\/*"
    ]
}