Otter DevTools

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

Qu'est-ce que Otter DevTools ?

Otter DevTools est une extension Chrome développée par AmadeusITGroup, et sa fonction principale est "DevTools to help with the development of application based on Otter Framework".

Captures d'Écran de l'Extension

screenshot
screenshot
screenshot
screenshot

Télécharger le fichier CRX de l'extension Otter DevTools

Téléchargez les fichiers d'extension Otter DevTools au format crx, installez manuellement les extensions Chrome dans le navigateur ou partagez les fichiers crx avec des amis pour installer facilement les extensions Chrome.

Instructions d'Utilisation de l'Extension

                        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                    

Informations de Base sur l'Extension

Nom Otter DevTools Otter DevTools
ID aejabgendbpckkdnjaphhlifbhepmbne
URL Officiel https://chromewebstore.google.com/detail/otter-devtools/aejabgendbpckkdnjaphhlifbhepmbne
Description DevTools to help with the development of application based on Otter Framework
Taille du Fichier 12.93 MB
Nombre d'Installations 206
Version Actuelle 10.0.0
Dernière Mise à Jour 2024-03-07
Date de Publication 2023-01-27
Évaluation 5.00/5 Total 2 Évaluations
Développeur AmadeusITGroup
Email [email protected]
Type de Paiement free
Site Web de l'Extension https://github.com/AmadeusITGroup/otter
URL de la Page d'Aide https://github.com/AmadeusITGroup/otter/issues
Langues Prises en Charge 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:\/\/*\/*"
    ]
}