MediaWiki:Mobile.js

Version vom 5. Mai 2021, 19:08 Uhr von DelphiN (Diskussion | Beiträge) (fix #36)
(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
  • Internet Explorer/Edge: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
  • Opera: Strg+F5
if ('serviceWorker' in navigator) {
  window.addEventListener('load', function() {
    navigator.serviceWorker.register('/wiki/serviceworker.js').then(function(registration) {
      // Registration was successful
      console.log('ServiceWorker registration successful with scope: ', registration.scope);
    }, function(err) {
      // registration failed :(
      console.log('ServiceWorker registration failed: ', err);
    });
  });
}

/* *************************************************
 * Reinitialize leaflet after each tab change.
 * fixes #36
 */
$(document).ready(function() {
	$('.tabs-label').click(function(e) {
		var mapExists = setInterval(function() {
			var counter = 0;
			var mapsLeafletList = window.mapsLeafletList;
			if (mapsLeafletList && mapsLeafletList.length) {
				mapsLeafletList.forEach(function(l) {
					if (l.map) {
						l.map.invalidateSize(false);
						clearInterval(mapExists);
					}
				});
			}
			if (counter++ > 10) clearInterval(mapExists);
		}, 100);
	});
});