MediaWiki:Mobile.js
Zur Navigation springen
Zur Suche springen
Hinweis: Leere nach dem Speichern 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: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
- Opera: Gehe zu Menü → Einstellungen (Opera → Einstellungen auf dem Mac) und dann auf Datenschutz & Sicherheit → Browserdaten löschen → Gespeicherte Bilder und Dateien.
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);
});
});