Dev-Tools - PHP
All the tools that every PHP developer always wanted to have in his browser
Was ist Dev-Tools - PHP?
Dev-Tools - PHP ist eine Chrome-Erweiterung, die von tucho235 entwickelt wurde, und ihr Hauptmerkmal ist "All the tools that every PHP developer always wanted to have in his browser".
Erweiterungsscreenshots
Dev-Tools - PHP-Erweiterungs-CRX-Datei herunterladen
Laden Sie Dev-Tools - PHP-Erweiterungsdateien im crx-Format herunter, installieren Sie Chrome-Erweiterungen manuell im Browser oder teilen Sie die crx-Dateien mit Freunden, um Chrome-Erweiterungen einfach zu installieren.
Anleitung zur Verwendung der Erweiterung
Grundlegende Informationen zur Erweiterung
| Name |  Dev-Tools - PHP |
| ID | hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| Offizielle URL | https://chrome.google.com/webstore/detail/dev-tools-php/hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| Beschreibung | All the tools that every PHP developer always wanted to have in his browser |
| Dateigröße | 44.91 KB |
| Installationsanzahl | 799 |
| Aktuelle Version | 0.2.1 |
| Letztes Update | 2016-12-22 |
| Veröffentlichungsdatum | 2016-12-22 |
| Entwickler | tucho235 |
| Zahlungsart | free |
| Unterstützte Sprachen | 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"
}
} | |
