MediaWiki:Common.js: различия между версиями

← Предыдущая правка Следующая правка →

@@ Строка 133: / Строка 133: @@
      if(value != "")
-         document.getElementById("wpSummary").value = value;
+    {
+         var box = document.getElementById("wpSummary");
+        var sstring = /\/\*(.*)\*\//.exec(box.value);
+        if(sstring)
+          box.value = "/*" + sstring[0] + "*/ " + value;
+        else
+          box.value = value;
+    }
   }