Dev-Tools - PHP

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"
  }
}