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