MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 8. Oktober 2025, 19:35 Uhr

/* 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);
    });
  });
});