Site Notice

hello, world

MediaWiki:Js-eruda.js

From Project-EPB Commons
Revision as of 23:53, 11 January 2023 by 机智的小鱼君 (talk | contribs) (Created page with "// ==UserScript== // @name Eruda Loader // @description Load and setup Eruda // @namespace Eruda // @author Dragon-Fish // @match *://*/* // @exc...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Invoke this: https://common.wjghj.cn/js/{{#replace:{{#replace:Js-eruda.js|Js-|}}|.js|}}

Note: After saving, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.
// ==UserScript==
// @name          Eruda Loader
// @description   Load and setup Eruda
// @namespace     Eruda
// @author        Dragon-Fish
// @match         *://*/*
// @exclude-match https://eruda.liriliri.io/*
// @version       1.1
// @grant         none
// @run-at        document-idle
// @require   https://unpkg.com/eruda/eruda.js
// @require   https://unpkg.com/eruda-dom
// @noframes
// ==/UserScript==

if (window.eruda && window.eruda._isInit === false) {
  window.eruda.init()
}