Oberflächenadministratoren, SMW-Administratoren, SMW-Kuratoren, SMW-Editoren, Oversighter, Administratoren, Widget-Bearbeiter
1.204
Bearbeitungen
MediaWiki:Common.js: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K
MediaWiki:Common.js (Quelltext anzeigen)
Version vom 14. September 2017, 11:35 Uhr
, 14. September 2017keine Bearbeitungszusammenfassung
(Reinitialize leaflet after each tab change. Fixes #36) |
KKeine Bearbeitungszusammenfassung |
||
| Zeile 159: | Zeile 159: | ||
map.invalidateSize(true); | map.invalidateSize(true); | ||
}); | }); | ||
}, | }, 1000); | ||
}); | }); | ||