RWTHonlinePlus

RWTHonline with a Plus: UNOFFICAL extension for RWTHonline, fixing many bugs and improving the site's usability. Note that this extension is NOT OFFICIAL and not supported by the RWTH or anyone else responsible for RWTHonline.

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

Upgrade to premium

manifest.json

{
  "manifest_version": 2,
  "name": "RWTHonlinePlus",
  "version": "0.7.2resigned1",
  "description": "RWTHonline with a Plus (NOT AN OFFICIAL EXTENSION)",
  "homepage_url": "http://plus.rwthonline.de",
  "icons": {
    "16": "icon/16.png",
    "48": "icon/48.png",
    "96": "icon/96.png",
    "128": "icon/128.png"
  },
  "permissions": [
    "webRequest",
    "webRequestBlocking",
    "activeTab",
    "*://online.rwth-aachen.de/*",
    "storage"
  ],
  "options_ui": {
    "page": "settings/options.html"
  },
  "browser_action": {
    "default_icon": "icon/16.png",
    "default_popup": "settings/options.html#popup"
  },
  "background": {
    "scripts": [
      "dist/background.js"
    ]
  },
  "web_accessible_resources": [
    "dist/injected_script.js",
    "inject/styles.css"
  ],
  "content_scripts": [
    {
      "matches": [
        "*://online.rwth-aachen.de/*"
      ],
      "js": [
        "dist/content_script.js"
      ]
    }
  ],
  "applications": {
    "gecko": {
      "id": "{7bfcb085-5b65-46d8-819d-bbdedaf15020}"
    }
  }
}