Examine source code of Old Wiki

Inspect and view changes in Old Wiki source codes across current and past versions
Premium users can view and search full source code, and see the source code differences between two versions.
manifest.json
{
  "description": "Changes the Wikipedia user interface to the beautiful legacy vector layout. Is also applied to other international Wikimedia pages.",
  "author": "Christian Zei",
  "manifest_version": 3,
  "name": "Old Wiki",
  "short_name": "OldWiki",
  "homepage_url": "https://github.com/adlerzei/old-wiki#readme",
  "version": "1.5.0",
  "icons": {
    "48": "icons/logo_48.png",
    "128": "icons/logo_128.png"
  },
  "declarative_net_request": {
    "rule_resources": [
      {
        "id": "apply_vector_skin",
        "enabled": true,
        "path": "rules/apply.json"
      }
    ]
  },
  "permissions": [
    "storage",
    "tabs",
    "declarativeNetRequest"
  ],
  "host_permissions": [
    "*://*.wikipedia.org/*",
    "*://*.wiktionary.org/*",
    "*://*.wikiquote.org/*",
    "*://*.wikibooks.org/*",
    "*://*.wikisource.org/*",
    "*://species.wikimedia.org/*",
    "*://*.wikinews.org/*",
    "*://*.wikiversity.org/*",
    "*://*.wikivoyage.org/*",
    "*://commons.wikimedia.org/*",
    "*://*.wikidata.org/*",
    "*://*.mediawiki.org/*",
    "*://meta.wikimedia.org/*",
    "*://incubator.wikimedia.org/*",
    "*://wikitech.wikimedia.org/*"
  ],
  "background": {
    "scripts": [
      "worker.js"
    ],
    "service_worker": "worker.js"
  },
  "action": {
    "default_icon": {
      "32": "icons/logo_32.png"
    },
    "default_title": "Old Wiki",
    "default_popup": "popup/popup.html"
  },
  "content_scripts": [
    {
      "matches": [
        "*://*.wikipedia.org/*",
        "*://*.wiktionary.org/*",
        "*://*.wikiquote.org/*",
        "*://*.wikibooks.org/*",
        "*://*.wikisource.org/*",
        "*://species.wikimedia.org/*",
        "*://*.wikinews.org/*",
        "*://*.wikiversity.org/*",
        "*://*.wikivoyage.org/*",
        "*://commons.wikimedia.org/*",
        "*://*.wikidata.org/*",
        "*://*.mediawiki.org/*",
        "*://meta.wikimedia.org/*",
        "*://incubator.wikimedia.org/*",
        "*://wikitech.wikimedia.org/*"
      ],
      "js": [
        "scripts/updateAddress.js"
      ],
      "run_at": "document_start"
    }
  ],
  "browser_specific_settings": {
    "gecko": {
      "id": "oldwiki@adlerzei",
      "strict_min_version": "113.0"
    }
  }
}