Examine source code of Video Playback Editor

{
  "manifest_version": 3,
  "name": "Video Playback Editor",
  "description": "A chrome extension for editing the playback rate of HTML5 videos on a website",
  "version": "0.5.1.0",
  "action": {
    "default_icon": "icon.png",
    "default_popup": "popup.html"
  },
  "permissions": [
    "scripting",
    "activeTab"
  ],
  "browser_specific_settings": {
    "gecko": {
      "id": "videoeditor@agden",
      "strict_min_version": "42.0"
    }
  }
}