Zuletzt bearbeitet vor 2 Jahren
von C.Gratl

MediaWiki:Common.js: Unterschied zwischen den Versionen

(kein Unterschied)

Version vom 22. Mai 2017, 09:55 Uhr

/* Das folgende JavaScript wird für alle Benutzer geladen. */
/* Bugfix for https://sourceforge.net/p/bluespice/bugs/373/ */
mw.loader.using( 'mediawiki.Title' );