MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 25. April 2026, 01:50 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 searchInput = document.querySelector('.citizen-search__input');

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

    if (searchInput) {
      setTimeout(function () {
        searchInput.focus();
      }, 50);
    }
  });
});