MediaWiki:Common.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 / Edge: 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.

mw.loader.load(
  "https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/highlight.min.js"
);
mw.loader.load(
  "https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.9.0/styles/default.min.css",
  "text/css"
);

mw.loader.using([], function () {
  // Wait until highlight.js is actually available
  function initHighlight() {
    if (typeof hljs !== "undefined") {
      hljs.configure({
        cssSelector: 'pre[class*="language-"]'
      });
      hljs.highlightAll();
    } else {
      // try again shortly
      setTimeout(initHighlight, 50);
    }
  }

  initHighlight();
});