MediaWiki:Common.js: Unterschied zwischen den Versionen
Plattform für Wissensmanagement im öffentlichen Sektor.
Admin (Diskussion | Beiträge) |
(kein Unterschied)
|
Aktuelle Version vom 17. September 2020, 17: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');
