MediaWiki:Common.js

Hinweis: Leere nach dem Veröffentlichen den Browser-Cache, um die Änderungen sehen zu können.

• Firefox/Safari: Umschalttaste drücken und gleichzeitig Aktualisieren anklicken oder entweder Strg+F5 oder Strg+R (⌘+R auf dem Mac) drücken
• Google Chrome: Umschalttaste+Strg+R (⌘+Umschalttaste+R auf dem Mac) drücken
• Edge: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken

/* Das folgende JavaScript wird für alle Benutzer geladen. */
mw.loader.using( ['mediawiki.util'] ).then(function () {
  $(function () {
    var $personal = $('#p-personal, .mw-portlet-personal, .personal-tools, #anisa-personal');
    var $menu = $personal.find('.vector-menu-content, .menu, .dropdown').first();
    var hideTimer = null;
    var delay = 600; // ms – hier länger/kuerzer stellen

    $personal.on('mouseenter', function () {
      clearTimeout(hideTimer);
      $personal.addClass('mw-menu-open');
    });

    $personal.on('mouseleave', function () {
      hideTimer = setTimeout(function () {
        $personal.removeClass('mw-menu-open');
      }, delay);
    });
  });
});