משתמש:מ. רובין/RedLinks.js – הבדלי גרסאות

@@ שורה 34: / שורה 34: @@
          // צור אלמנט תצוגה
          var $box = $("<div id='redlinks-output' style='border:2px solid #aaa; padding:10px; background:#f8f8f8; direction:rtl; margin:1em;'>")
+            .append("<strong>קישורים אדומים בדף:</strong>")
+            .append("<ul>" + Array.from(redLinksSet).map(function (t) {
+                return "<li>" + mw.html.escape(t) + "</li>";
+            }).join("") + "</ul>");
+        // הוסף לראש הדף
+        $("#content").prepend($box);
+    });
+});