Dev-Tools - PHP
All the tools that every PHP developer always wanted to have in his browser
¿Qué es Dev-Tools - PHP?
Dev-Tools - PHP es una extensión de Chrome desarrollada por tucho235, y su función principal es "All the tools that every PHP developer always wanted to have in his browser".
Capturas de Pantalla de la Extensión
Descargar Archivo CRX de la Extensión Dev-Tools - PHP
Descarga archivos de extensión Dev-Tools - PHP en formato crx, instala manualmente las extensiones de Chrome en el navegador o comparte los archivos crx con amigos para instalar fácilmente las extensiones de Chrome.
Instrucciones de Uso de la Extensión
Información Básica de la Extensión
| Nombre |  Dev-Tools - PHP |
| ID | hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| URL Oficial | https://chrome.google.com/webstore/detail/dev-tools-php/hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| Descripción | All the tools that every PHP developer always wanted to have in his browser |
| Tamaño del Archivo | 44.91 KB |
| Cantidad de Instalaciones | 799 |
| Versión Actual | 0.2.1 |
| Última Actualización | 2016-12-22 |
| Fecha de Publicación | 2016-12-22 |
| Desarrollador | tucho235 |
| Tipo de Pago | free |
| Idiomas Soportados | 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"
}
} | |
