MediaWiki:Gadget-vectorskin-thunks.js

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]);
          }
      };
  })();