Dev-Tools - PHP
All the tools that every PHP developer always wanted to have in his browser
Cos'è Dev-Tools - PHP?
Dev-Tools - PHP è un'estensione di Chrome sviluppata da tucho235, e la sua funzione principale è "All the tools that every PHP developer always wanted to have in his browser".
Screenshot dell'Estensione
Scarica il file CRX dell'estensione Dev-Tools - PHP
Scarica i file di estensione Dev-Tools - PHP in formato crx, installa manualmente le estensioni di Chrome nel browser o condividi i file crx con gli amici per installare facilmente le estensioni di Chrome.
Istruzioni per l'Uso dell'Estensione
Informazioni di Base sull'Estensione
| Nome |  Dev-Tools - PHP |
| ID | hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| URL Ufficiale | https://chrome.google.com/webstore/detail/dev-tools-php/hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| Descrizione | All the tools that every PHP developer always wanted to have in his browser |
| Dimensione del File | 44.91 KB |
| Conteggio Installazioni | 799 |
| Versione Corrente | 0.2.1 |
| Ultimo Aggiornamento | 2016-12-22 |
| Data di Pubblicazione | 2016-12-22 |
| Sviluppatore | tucho235 |
| Tipo di Pagamento | free |
| Lingue Supportate | 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"
}
} | |
