MediaWiki: Tweeki.js: Unterschied zwischen den Versionen

Version vom 12. Januar 2023, 16:22 Uhr

/* Any JavaScript here will be loaded for users using the Tweeki skin */

@@ Zeile 1: / Zeile 1: @@
 /* Any JavaScript here will be loaded for users using the Tweeki skin */
-document.addEventListener('DOMContentLoaded', function() {
-    document.getElementById('loading').style.display = 'none';
-});