MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 25. April 2026, 01:57 Uhr

mw.loader.using(['mediawiki.util']).done(function () {
  const trigger = document.getElementById('skin-citizen-search-trigger');

  if (!trigger) return;

  trigger.addEventListener('click', function () {
    const checkbox = document.getElementById('citizen-search__checkbox');
    const input = document.querySelector('.citizen-search__input');

    if (checkbox) {
      checkbox.checked = true;
      checkbox.dispatchEvent(new Event('input', {
        bubbles: true,
        composed: true
      }));
    }

    if (input) {
      setTimeout(() => input.focus(), 50);
    }
  });
});