MediaWiki:Gadget-vectorskin-thunks.js

Note: After publishing, 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: Press Ctrl-F5.

if (typeof(skin)!="undefined" && skin=="vector")
  (function() {
      var GET = document.getElementById;
      document.getElementById = function(id) {
          var g = GET.call(document, id);
          if (g) {
              return g;
          } else {
              return GET.call(document, {
                  'column-one': 'panel',
                  'column-content': 'content', // since #content exists, is this ok?
                  'globalWrapper': 'content', // what should this be?
                  'lastmod': 'foot-info-lastmod'
              }[id]);
          }
      };
  })();