Dev-Tools - PHP
All the tools that every PHP developer always wanted to have in his browser
Apa itu Dev-Tools - PHP?
Dev-Tools - PHP adalah ekstensi Chrome yang dikembangkan oleh tucho235, dan fitur utamanya adalah "All the tools that every PHP developer always wanted to have in his browser".
Screenshot Ekstensi
Unduh Berkas CRX Ekstensi Dev-Tools - PHP
Unduh file ekstensi Dev-Tools - PHP dalam format crx, pasang ekstensi Chrome secara manual di peramban, atau bagikan file crx dengan teman untuk menginstal ekstensi Chrome dengan mudah.
Petunjuk Penggunaan Ekstensi
Informasi Dasar Ekstensi
| Nama |  Dev-Tools - PHP |
| ID | hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| URL Resmi | https://chrome.google.com/webstore/detail/dev-tools-php/hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| Deskripsi | All the tools that every PHP developer always wanted to have in his browser |
| Ukuran File | 44.91 KB |
| Jumlah Instalasi | 799 |
| Versi Saat Ini | 0.2.1 |
| Terakhir Diperbarui | 2016-12-22 |
| Tanggal Publikasi | 2016-12-22 |
| Pengembang | tucho235 |
| Tipe Pembayaran | free |
| Bahasa yang Didukung | 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"
}
} | |
