MediaWiki

MediaWiki:Common.js

Aus Helmsheim

Version vom 19. Februar 2020, 02:18 Uhr von Admin (Diskussion | Beiträge)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Hinweis: Leere nach dem Veröffentlichen den Browser-Cache, um die Änderungen sehen zu können.

  • Firefox/Safari: Umschalttaste drücken und gleichzeitig Aktualisieren anklicken oder entweder Strg+F5 oder Strg+R (⌘+R auf dem Mac) drücken
  • Google Chrome: Umschalttaste+Strg+R (⌘+Umschalttaste+R auf dem Mac) drücken
  • Edge: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
/* Das folgende JavaScript wird für alle Benutzer geladen. */
function playAudio(id) { 
  if (id === undefined) {
	id = "myAudio";
  }
  var x = document.getElementById(id); 
	if (x.paused) x.play(); 
	else x.pause(); 
}

var serverdate=new Date();
function padlength(what){
var output=(what.toString().length==1)? "0"+what : what;
return output;
}
function displaytime(){
serverdate.setSeconds(serverdate.getSeconds()+1);
var timestring=padlength(serverdate.getHours())+":"+padlength(serverdate.getMinutes())+":"+padlength(serverdate.getSeconds());
document.getElementById("servertime").innerHTML=timestring;
}
(function() {
  var tId = setInterval(function() {
    if (document.readyState == "complete") onComplete();
  }, 11);

  function onComplete() {
    clearInterval(tId);
	setInterval("displaytime()", 1000);  };
})();