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

מאין תקציר עריכה
מ משהו קטן ;-)
שורה 816: שורה 816:


function noSaving() {
function noSaving() {
   if (wgUserName != null && wgAction == 'edit') {
   if (wgUserName == null && wgAction == 'edit') {
     saveButton = document.getElementById('wpSave');
     saveButton = document.getElementById('wpSave');
     if (saveButton != null) {
     if (saveButton != null) {