מדיה ויקי:Common.js: הבדלים בין גרסאות בדף
מ עוד קצת ריווח |
מ +noSaving |
||
| שורה 811: | שורה 811: | ||
encodedLinkID.style.display = "inline"; | encodedLinkID.style.display = "inline"; | ||
} | } | ||
} | |||
/* לא מאפשר לאנונימיים לשמור את הדף לפני לחיצה על תצוגה מקדימה */ | |||
function noSaving() { | |||
if (wgUserName != null && wgAction == 'edit') { | |||
saveButton = document.getElementById('wpSave'); | |||
if (saveButton != null) { | |||
saveButton.disabled = true; | |||
document.getElementById('wpPreview').value = 'הראה תצוגה מקדימה (חובה); | |||
} | |||
} | |||
} | } | ||
| שורה 817: | שורה 829: | ||
addLoadEvent(EncodedMoveLink); | addLoadEvent(EncodedMoveLink); | ||
addLoadEvent(licenseListViewer); | addLoadEvent(licenseListViewer); | ||
addLoadEvent(noSaving); | |||
addOnloadHook(selectAllunDel); | addOnloadHook(selectAllunDel); | ||
addOnloadHook(featuredInterwiki); | addOnloadHook(featuredInterwiki); | ||