מדיה ויקי:Common.js: הבדלים בין גרסאות בדף

מ מניעת שגיאות
מיותר
שורה 883: שורה 883:


   return str;
   return str;
}
/* קישור ישיר לדף שהפך להפניה בדף אישור ההעברה */
function EncodedMoveLink()
{
encodedLinkID = document.getElementById('encodedlink');
if (encodedLinkID != null) {
encodedLinkID.innerHTML = '(<a href="http://he.wikipedia.org/w/index.php?title=' + encodedLinkID.innerHTML + '&redirect=no" class="internal">קישור קבוע</a>)';
encodedLinkID.style.display = "inline";
}
}
}


שורה 1,177: שורה 1,167:
addLoadEvent(tableButton);
addLoadEvent(tableButton);
addLoadEvent(templatesList);
addLoadEvent(templatesList);
addLoadEvent(EncodedMoveLink);
addLoadEvent(licenseListViewer);
addLoadEvent(licenseListViewer);
addLoadEvent(noSaving);
addLoadEvent(noSaving);