MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
/* Any JavaScript here will be loaded for all users on every page load. */ | /* Any JavaScript here will be loaded for all users on every page load. */ | ||
$.getScript("/status/mqtt-status.js? | $.getScript("/status/mqtt-status.js?2", function () { | ||
$("<div id=spacestatus>?</div>").appendTo($("#p-logo")); | $("<div id=spacestatus>?</div>").appendTo($("#p-logo")); | ||
$("<div id=n>n = <span id=checked-in>?</span></div>").appendTo($("#p-logo")); | $("<div id=n>n = <span id=checked-in>?</span></div>").appendTo($("#p-logo")); |
Revision as of 01:11, 20 May 2020
/* Any JavaScript here will be loaded for all users on every page load. */
$.getScript("/status/mqtt-status.js?2", function () {
$("<div id=spacestatus>?</div>").appendTo($("#p-logo"));
$("<div id=n>n = <span id=checked-in>?</span></div>").appendTo($("#p-logo"));
$("#spacestatus")
.revspace("groen", "rood")
.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}) } ); })
;
$(".spacestatus").revspace("open", "gesloten");
});
var nosummary = "No summary for hidden page";
$(function () {
if (! $("#firstHeading").text().match(/Hidden:/)) return;
$("#editform #wpSummary")
.val(nosummary)
.change(function () { $(this).val(nosummary); })
.hide();
$("#wpSummaryLabel")
.hide();
});
if ($("#kiekjes").length) {
$.get("/kiekjes/latest?amount=8", function (data) {
var photos = $("<div/>");
for (var i in data.latest) {
var item = data.latest[i];
photos.append(
$("<a>").attr({ href: item.url }).append(
$("<img>").attr({ src: item.thumbnail }).css({ width: '12.5%' })
)
);
}
$("#kiekjes").html(photos);
});
}
// headings nummeren zoals in de toc
$(function() {
$("a[href] .tocnumber").each(function() { $(this).html($(this).html() + "."); var id = $(this).parent().attr('href').replace(/^#/, ""); var h = document.getElementById(id); h.innerHTML = $(this).html() + " " + h.innerHTML; });
})