/*
 * Das folgende JavaScript wird für Benutzer der Vector-Benutzeroberfläche geladen.
 * Leer seit März 2016, Code für alle Skins befindet sich in [[MediaWiki:Common.js]].
 */