MediaWiki:Common.js

/* Any JavaScript here will be loaded for all users on every page load. */
document.addEventListener('DOMContentLoaded', function() {
  const panel = document.querySelector('.panel');
  let hoverTimer;

  panel.addEventListener('mouseenter', function() {
    hoverTimer = setTimeout(function() {
      panel.classList.add('hovered');
    }, 200); // Delay the flip by 200ms (you can adjust the value)
  });

  panel.addEventListener('mouseleave', function() {
    clearTimeout(hoverTimer); // Prevent the flip if the mouse leaves before the delay
    panel.classList.remove('hovered');
  });
});