GitHub Web IDE

This extension enhances GitHub repositories by adding a convenient dropdown menu which offers direct links to various online platforms that allow users to view and interact with the repository's source code in an environment reminiscent of an IDE.

Upgrade to view and diff full source code

Additional files are visible only to premium users

manifest.json

{
  "name": "GitHub Web IDE",
  "description": "Open GitHub repositories in online web IDE",
  "manifest_version": 3,
  "update_url": "https://clients2.google.com/service/update2/crx",
  "homepage_url": "https://github.com/zvizvi/GitHub-Web-IDE",
  "version": "2.0.7",
  "author": "[email protected]",
  "browser_specific_settings": {
    "gecko": {
      "id": "{bbda042b-c350-4e85-8d81-bda0d6fbda81}"
    }
  },
  "action": {
    "default_icon": {
      "16": "img/icon16.png",
      "32": "img/icon32.png",
      "48": "img/icon48.png",
      "128": "img/icon128.png"
    }
  },
  "permissions": [
    "storage"
  ],
  "options_ui": {
    "page": "html/options.html",
    "open_in_tab": true
  },
  "content_scripts": [
    {
      "all_frames": false,
      "matches": [
        "https://github.com/*",
        "https://gitlab.com/*"
      ],
      "js": [
        "js/main.js"
      ],
      "run_at": "document_end"
    }
  ],
  "icons": {
    "16": "img/icon16.png",
    "24": "img/icon24.png",
    "32": "img/icon32.png",
    "48": "img/icon48.png",
    "64": "img/icon64.png",
    "72": "img/icon72.png",
    "96": "img/icon96.png",
    "128": "img/icon128.png"
  }
}