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 ( mw.config.get( '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, {
                  'p-cactions': 'actions',
                  'p-personal': 'personal',
                  'p-search': 'p-navigation', // redirected to this for positioning, or to #search?
                  'p-logo': 'logo',
                  'column-one': 'panel',
                  'column-content': 'content', // since #content exists, is this ok?
                  'globalWrapper': 'content', // what should this be?
                  'lastmod': 'foot-info-lastmod'
              }[id]);
          }
      };
  })();
}