MediaWiki:Gadget-vectorskin-thunks.js: Difference between revisions
several IDs were changed back. This gadget is mostly pointless now. |
several IDs were changed back. This gadget is mostly pointless now. |
(No difference)
|
Latest revision as of 20:30, 17 July 2009
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]);
}
};
})();