מדיה ויקי:Common.js: הבדלים בין גרסאות בדף
מ סימון כל הגרסאות - שלא יהיה כברירת מחדל אלא רק לאחר לחיצה על כפתור, bugzilla:10056 |
מ תיקונים: הצהרה על משתנה, אין צורך ב־insertBefore(x, null) כיוון ש־appendChild(x) עדיף |
||
| שורה 266: | שורה 266: | ||
var undeleteForm = document.getElementById('undelete'); | var undeleteForm = document.getElementById('undelete'); | ||
if (undeleteForm == null) return; | if (undeleteForm == null) return; | ||
unDelAll=document.createElement('input'); | var unDelAll=document.createElement('input'); | ||
unDelAll.value='סמן את כל הגרסאות'; | unDelAll.value='סמן את כל הגרסאות'; | ||
unDelAll.type='button'; | unDelAll.type='button'; | ||
unDelAll.onclick=function(){ | unDelAll.onclick=function(){ | ||
for(var j=0; a = document.getElementsByTagName("input")[j]; j++) { | |||
if(a.type=="checkbox") a.checked=true; | |||
} | |||
}; | }; | ||
document.getElementById('undelete'). | document.getElementById('undelete').appendChild(unDelAll); | ||
} | } | ||