Dev-Tools - PHP
All the tools that every PHP developer always wanted to have in his browser
O que é Dev-Tools - PHP?
Dev-Tools - PHP é uma extensão do Chrome desenvolvida por tucho235, e sua principal característica é "All the tools that every PHP developer always wanted to have in his browser".
Capturas de Tela da Extensão
Baixar o arquivo CRX da Extensão Dev-Tools - PHP
Baixe arquivos de extensão Dev-Tools - PHP no formato crx, instale manualmente as extensões do Chrome no navegador ou compartilhe os arquivos crx com amigos para instalar facilmente as extensões do Chrome.
Instruções de Uso da Extensão
Informações Básicas da Extensão
| Nome |  Dev-Tools - PHP |
| ID | hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| URL Oficial | https://chrome.google.com/webstore/detail/dev-tools-php/hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| Descrição | All the tools that every PHP developer always wanted to have in his browser |
| Tamanho do Arquivo | 44.91 KB |
| Contagem de Instalações | 799 |
| Versão Atual | 0.2.1 |
| Última Atualização | 2016-12-22 |
| Data de Publicação | 2016-12-22 |
| Desenvolvedor | tucho235 |
| Tipo de Pagamento | free |
| Idiomas Suportados | 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"
}
} | |
