MediaWiki:Common.js: Unterschied zwischen den Versionen

Aktuelle Version vom 17. September 2020, 16:55 Uhr

/* Das folgende JavaScript wird für alle Benutzer geladen. */
if (mw.config.get('wgNamespaceNumber')==6 && mw.config.get('wgAction')=='view') {
	mw.loader.load('//wm.kdz.eu/imagemapedit/ime.js');
}
mw.loader.load('//wm.kdz.eu/imagemapedit/Imagemap-Highlight.js');