ODD Devtools

Developer tools for debugging ODD applications.

Premium users can view and search full source code, and see the source code differences between two versions.

manifest.json

{
  "description": "Developer tools for debugging ODD applications.",
  "manifest_version": 2,
  "name": "ODD Devtools",
  "version": "0.2.0",
  "developer": {
    "name": "Fission",
    "url": "https://github.com/oddsdk/odd-devtools"
  },
  "icons": {
    "16": "odd16.png",
    "32": "odd32.png",
    "48": "odd48.png",
    "128": "odd128.png"
  },
  "background": {
    "scripts": [
      "src/background/background.js"
    ]
  },
  "content_scripts": [
    {
      "matches": [
        "https://*/*",
        "http://localhost/*",
        "http://127.0.0.1/*"
      ],
      "js": [
        "src/content/page-load.js"
      ]
    }
  ],
  "devtools_page": "src/devtools/devtools.html",
  "permissions": [
    "scripting",
    "https://*/*",
    "http://localhost/*",
    "http://127.0.0.1/*"
  ],
  "web_accessible_resources": [
    "src/content/content.js"
  ],
  "browser_specific_settings": {
    "gecko": {
      "strict_min_version": "109.0",
      "id": "odd-devtools@fission"
    }
  }
}