Dev-Tools - PHP
All the tools that every PHP developer always wanted to have in his browser
Wat is Dev-Tools - PHP?
Dev-Tools - PHP is een Chrome-extensie ontwikkeld door tucho235, en de belangrijkste functie is "All the tools that every PHP developer always wanted to have in his browser".
Extensie Screenshots
Download het CRX-bestand van de extensie Dev-Tools - PHP
Download Dev-Tools - PHP-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.
Instructies voor het Gebruik van de Extensie
Basisinformatie over de Extensie
| Naam |  Dev-Tools - PHP |
| ID | hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| Officiële URL | https://chrome.google.com/webstore/detail/dev-tools-php/hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| Beschrijving | All the tools that every PHP developer always wanted to have in his browser |
| Bestandsgrootte | 44.91 KB |
| Aantal Installaties | 799 |
| Huidige Versie | 0.2.1 |
| Laatst Bijgewerkt | 2016-12-22 |
| Publicatiedatum | 2016-12-22 |
| Ontwikkelaar | tucho235 |
| Betalingswijze | free |
| Ondersteunde Talen | 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"
}
} | |
