batman.js devtools

Chrome developer utilities to help batman.js development

What is batman.js devtools?

batman.js devtools is a Chrome extension developed by Alex.Angelini, and its main feature is "Chrome developer utilities to help batman.js development".

Extension Screenshots

screenshot
screenshot

Download batman.js devtools Extension CRX File

Download batman.js devtools extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.

Extension Usage Instructions

                                            

Extension Basic Information

Name batman.js devtools batman.js devtools
ID lgdibimihnidbcllamkdnpfeppdhgala
Official URL https://chrome.google.com/webstore/detail/batmanjs-devtools/lgdibimihnidbcllamkdnpfeppdhgala
Description Chrome developer utilities to help batman.js development
File Size 216 KB
Installation Count 82
Current Version 1.2
Last Updated 2014-02-12
Publish Date 2014-02-12
Rating 4.00/5 Total 4 Ratings
Developer Alex.Angelini
Payment Type free
Extension Website http://batmanjs.org/
Help Page URL https://groups.google.com/group/batmanjs
Supported Languages 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"
}