Spider Devtools
spider dev tools
Additional files are visible only to premium users
manifest.json
{
"update_url": "https://clients2.google.com/service/update2/crx",
"manifest_version": 2,
"name": "Spider Devtools",
"version": "1.2.2",
"description": "spider dev tools",
"icons": {
"16": "img/icon.png",
"48": "img/icon.png",
"128": "img/icon.png"
},
"background": {
"page": "background.html"
},
"browser_action": {
"default_icon": {
"38": "img/icon.png"
}
},
"content_scripts": [
{
"matches": [
"<all_urls>"
],
"css": [
"css/content.css"
],
"js": [
"js/content.js"
]
}
],
"permissions": [],
"web_accessible_resources": [
"js/inject.js",
"js/main.min.js",
"js/codemirror.js",
"js/python.js",
"js/autoTextarea.js",
"js/bar.js",
"bar.html",
"js/background.js"
],
"default_locale": "en",
"devtools_page": "devtools.html"
}