Dev-Tools - PHP
All the tools that every PHP developer always wanted to have in his browser
什么是Dev-Tools - PHP？
Dev-Tools - PHP是由tucho235开发的Chrome扩展程序，该扩展的主要功能是“All the tools that every PHP developer always wanted to have in his browser”。
扩展截图
下载Dev-Tools - PHP扩展crx文件
下载Dev-Tools - PHP扩展crx格式的文件，手动将Chrome插件安装到浏览器中，也可以将crx文件分享给朋友，轻松安装Chrome插件。
扩展使用说明
扩展基本信息
| 名称 |  Dev-Tools - PHP |
| ID | hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| 官方URL | https://chrome.google.com/webstore/detail/dev-tools-php/hbpaeijdpnmjakbngbhhpcbnnfkikgba |
| 简介 | All the tools that every PHP developer always wanted to have in his browser |
| 文件大小 | 44.91 KB |
| 安装次数 | 799 |
| 当前版本 | 0.2.1 |
| 更新时间 | 2016-12-22 |
| 上架时间 | 2016-12-22 |
| 开发者 | tucho235 |
| 付费类型 | free |
| 支持的语言 | 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"
}
} | |
