Otter DevTools

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

¿Qué es Otter DevTools?

Otter DevTools es una extensión de Chrome desarrollada por AmadeusITGroup, y su función principal es "DevTools to help with the development of application based on Otter Framework".

Capturas de Pantalla de la Extensión

screenshot
screenshot
screenshot
screenshot

Descargar Archivo CRX de la Extensión Otter DevTools

Descarga archivos de extensión Otter DevTools en formato crx, instala manualmente las extensiones de Chrome en el navegador o comparte los archivos crx con amigos para instalar fácilmente las extensiones de Chrome.

Instrucciones de Uso de la Extensión

                        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                    

Información Básica de la Extensión

Nombre Otter DevTools Otter DevTools
ID aejabgendbpckkdnjaphhlifbhepmbne
URL Oficial https://chromewebstore.google.com/detail/otter-devtools/aejabgendbpckkdnjaphhlifbhepmbne
Descripción DevTools to help with the development of application based on Otter Framework
Tamaño del Archivo 12.93 MB
Cantidad de Instalaciones 206
Versión Actual 10.0.0
Última Actualización 2024-03-07
Fecha de Publicación 2023-01-27
Calificación 5.00/5 Total de 2 Calificaciones
Desarrollador AmadeusITGroup
Correo electrónico [email protected]
Tipo de Pago free
Sitio Web de la Extensión https://github.com/AmadeusITGroup/otter
URL de la Página de Ayuda https://github.com/AmadeusITGroup/otter/issues
Idiomas Soportados 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:\/\/*\/*"
    ]
}