Dev-Tools - PHP
All the tools that every PHP developer always wanted to have in his browser
What is Dev-Tools - PHP?
Dev-Tools - PHP is a Chrome extension developed by tucho235, and its main feature is "All the tools that every PHP developer always wanted to have in his browser".
Extension Screenshots
Download Dev-Tools - PHP Extension CRX File
Download Dev-Tools - PHP 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 |  Dev-Tools - PHP |
| ID | hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| Official URL | https://chrome.google.com/webstore/detail/dev-tools-php/hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| Description | All the tools that every PHP developer always wanted to have in his browser |
| File Size | 44.91 KB |
| Installation Count | 799 |
| Current Version | 0.2.1 |
| Last Updated | 2016-12-22 |
| Publish Date | 2016-12-22 |
| Developer | tucho235 |
| Payment Type | free |
| Supported Languages | en-GB |
| manifest.json | |
{
"update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
"manifest_version": 2,
"name": "Dev-Tools - PHP",
"version": "0.2.1",
"author": "@tucho235",
"icons": {
"16": "icons\/16.png",
"19": "icons\/19.png",
"32": "icons\/32.png",
"38": "icons\/38.png",
"48": "icons\/48.png",
"64": "icons\/64.png",
"96": "icons\/96.png",
"128": "icons\/128.png"
},
"description": "All the tools that every PHP developer always wanted to have in his browser",
"background": {
"scripts": [
"background.js",
"popup\/serialize.js",
"popup\/unserialize.js"
]
},
"applications": {
"gecko": {
"strict_min_version": "48.0",
"strict_max_version": "50.*"
}
},
"permissions": [
"*:\/\/developer.mozilla.org\/*",
"contextMenus",
"activeTab",
"tabs"
],
"browser_action": {
"browser_style": true,
"default_icon": {
"16": "icons\/16.png",
"19": "icons\/19.png",
"32": "icons\/32.png",
"38": "icons\/38.png",
"48": "icons\/48.png",
"64": "icons\/64.png",
"96": "icons\/96.png",
"128": "icons\/128.png"
},
"default_title": "Dev-Tools",
"default_popup": "popup\/pop.html"
}
} | |
