מדיה ויקי:Common.js: הבדלים בין גרסאות בדף
לא נחוץ יותר |
מ var |
||
| שורה 786: | שורה 786: | ||
return; | return; | ||
} | } | ||
olList = document.getElementsByTagName('ol'); | var olList = document.getElementsByTagName('ol'); | ||
for(i = 0; i < olList.length; ++i) { | for(var i = 0; i < olList.length; ++i) { | ||
d = document.createElement('div'); | var d = document.createElement('div'); | ||
d.setAttribute('style', 'margin-left: 2em; display: table;'); | d.setAttribute('style', 'margin-left: 2em; display: table;'); | ||
o = document.createElement('ol'); | var o = document.createElement('ol'); | ||
o.innerHTML = olList[i].innerHTML; | o.innerHTML = olList[i].innerHTML; | ||
olList[i].parentNode.insertBefore(d, olList[i]); | olList[i].parentNode.insertBefore(d, olList[i]); | ||