MediaWiki:Gadget-Extra-tabs.js: Różnice pomiędzy wersjami

Poprawka markupu dla Vectora
(obsługa Vectora)
(Poprawka markupu dla Vectora)
var li = document.createElement('li');
if(id) li.id = id;
li.appendChild(na);
// Grab the element we want to append the tab and append the tab to it.
var c1 = document.getElementById('column-one');
if (!c1) {
// Vector
var nspan = document.createElement('span');
nspan.appendChild(na)
li.appendChild(nspan);
var c1 = document.getElementById('left-navigation');
} else {
li.appendChild(na);
}
var tabs = c1.getElementsByTagName('div')[0].getElementsByTagName('ul')[0];