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

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

@@ שורה 254: / שורה 254: @@
    var summary = new Array () ;
    var t = document.editform.wpTextbox1.value ;
-   var errors = false;
+   var prevent_autocommit = 0;
+  if ( typeof hotcat_no_autocommit != "undefined" && hotcat_no_autocommit != 0 )
+    prevent_autocommit = 1;
    var cat_rm  = hotcatGetParamValue ('hotcat_removecat');
@@ שורה 263: / שורה 265: @@
      if (!matches || matches.length == 0) {
        alert ('Category "' + cat_rm + '" not found; maybe it is in a template?');
-       errors = true;
+       prevent_autocommit = 1;
      } else if (matches.length > 1) {
        alert ('Category "' + cat_rm
               + "\" found several times; don't know which occurrence to remove.");
-       errors = true;
+       prevent_autocommit = 1;
      } else {
        if (cat_add != null && cat_add.length > 0 && matches[0].match.length > 1)
@@ שורה 296: / שורה 298: @@
      if (matches && matches.length > 0) {
        alert ('Category "' + cat_add + '" already exists; not added.');
-       error = true;
+       prevent_autocommit = 1;
      } else {
        if (t.charAt (t.length - 1) != '\n') t = t + '\n';
@@ שורה 314: / שורה 316: @@
                                        + " (using [[MediaWiki:Gadget-HotCat.js|HotCat.js]])" ;
      document.editform.wpMinoredit.checked = true ;
-     if (!errors) {
+     if (!prevent_autocommit) {
        // Hide the entire edit section so as not to tempt the user into editing...
        document.getElementById("bodyContent").style.display = "none" ;