batman.js devtools

Chrome developer utilities to help batman.js development

Wat is batman.js devtools?

batman.js devtools is een Chrome-extensie ontwikkeld door Alex.Angelini, en de belangrijkste functie is "Chrome developer utilities to help batman.js development".

Extensie Screenshots

screenshot
screenshot

Download het CRX-bestand van de extensie batman.js devtools

Download batman.js devtools-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.

Instructies voor het Gebruik van de Extensie

                                            

Basisinformatie over de Extensie

Naam batman.js devtools batman.js devtools
ID lgdibimihnidbcllamkdnpfeppdhgala
Officiële URL https://chrome.google.com/webstore/detail/batmanjs-devtools/lgdibimihnidbcllamkdnpfeppdhgala
Beschrijving Chrome developer utilities to help batman.js development
Bestandsgrootte 216 KB
Aantal Installaties 82
Huidige Versie 1.2
Laatst Bijgewerkt 2014-02-12
Publicatiedatum 2014-02-12
Beoordeling 4.00/5 Totaal 4 Beoordelingen
Ontwikkelaar Alex.Angelini
Betalingswijze free
Extensiewebsite http://batmanjs.org/
Help Pagina-URL https://groups.google.com/group/batmanjs
Ondersteunde Talen en
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "manifest_version": 2,
    "name": "batman.js devtools",
    "description": "Chrome developer utilities to help batman.js development",
    "version": "1.2",
    "permissions": [
        "tabs",
        ""
    ],
    "background": {
        "scripts": [
            "dist\/background.js"
        ]
    },
    "content_security_policy": "script-src 'self' 'unsafe-eval'; object-src 'self'",
    "content_scripts": [
        {
            "matches": [
                ""
            ],
            "js": [
                "dist\/content-script.js"
            ]
        }
    ],
    "devtools_page": "views\/devtools.html"
}