MediaWiki:Common.js

/* Any JavaScript here will be loaded for all users on every page load. */
$.getScript("/status/mqtt-status.js", function () {
    $("<div id=spacestatus>?</div>").appendTo($("#p-logo"));
    $("#spacestatus")
       .revspace()
       .on("closing", function () { $(this).stop().animate({zoom: 4}, function () { $(this).delay(500).animate({zoom:1}) } ); })
       .on("opening", function () { $(this).stop().animate({zoom: 4}, function () { $(this).delay(500).animate({zoom:1}) } ); })
    ;
});

var nosummary = "No summary for hidden page";

$(function () { 
    $("#editform #wpSummary")
    .text(nosummary)
    .change(function () { $(this).text(nosummary); });
});