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

→ העריכה הקודמת העריכה הבאה ←

@@ שורה 769: / שורה 769: @@
 }
+/* קישור ישיר לדף שהפך להפניה בדף אישור ההעברה */
+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";
+ }
+}
 /* הגדרת הפונקציות לטעינה */
 addLoadEvent(tableButton);
+addLoadEvent(EncodedMoveLink);
 addLoadEvent(licenseListViewer);
 addOnloadHook(selectAllunDel);