MediaWiki:Common.js: Unterschied zwischen den Versionen

Aktuelle Version vom 25. April 2026, 02:46 Uhr

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

  if (!trigger) return;

  trigger.addEventListener('click', function () {
    const summary = document.getElementById('citizen-search-summary');

    if (summary) {
      summary.click();
    }
  });
});

@@ Zeile 5: / Zeile 5: @@
    trigger.addEventListener('click', function () {
-    const details = document.getElementById('citizen-search-details');
      const summary = document.getElementById('citizen-search-summary');
-    if (details) {
-      details.open = true;
-      details.dispatchEvent(new Event('toggle', { bubbles: true }));
-    }
      if (summary) {
        summary.click();
      }
-    setTimeout(function () {
-      const input =
-        document.querySelector('.citizen-search input') ||
-        document.querySelector('#searchInput') ||
-        document.querySelector('input[name="search"]');
-      if (input) {
-        input.focus();
-      }
-    }, 100);
    });
 });