MediaWiki:Gadget-popups.js: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Gerard (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Gerard (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
// Preload für schnellere Navigation-Popups | mw.util.addCSS('link[rel="dns-prefetch"][href="//en.wikipedia.org"]'); | ||
// Preload für schnellere Navigation-Popups | |||
mw.loader.using(['mediawiki.util']).then(function () { | mw.loader.using(['mediawiki.util']).then(function () { | ||
mw.loader.load(mw.util.wikiScript('index') + '?title=MediaWiki:Gadget-navpop.js&action=raw&ctype=text/javascript'); | mw.loader.load(mw.util.wikiScript('index') + '?title=MediaWiki:Gadget-navpop.js&action=raw&ctype=text/javascript'); | ||
Aktuelle Version vom 22. Mai 2026, 14:34 Uhr
mw.util.addCSS('link[rel="dns-prefetch"][href="//en.wikipedia.org"]');
// Preload für schnellere Navigation-Popups
mw.loader.using(['mediawiki.util']).then(function () {
mw.loader.load(mw.util.wikiScript('index') + '?title=MediaWiki:Gadget-navpop.js&action=raw&ctype=text/javascript');
});
mw.loader.load('https://en.wikipedia.org/w/index.php?title=MediaWiki:Gadget-popups.js&action=raw&ctype=text/javascript');