MediaWiki:Common.js: Unterschied zwischen den Versionen

Version vom 13. Dezember 2025, 19:24 Uhr

/* Das folgende JavaScript wird für alle Benutzer geladen. */
mw.loader.using('mediawiki.util', function () {
  var groups = mw.config.get('wgUserGroups') || [];
  if (groups.indexOf('sysop') === -1) return; // nur Admins

  mw.util.addPortletLink(
    'p-tb',
    mw.util.getUrl('Special:SpecialPages'),
    'Spezialseiten',
    't-specialpages'
  );
});

mw.loader.using(['mediawiki.util']).then(function () {
  // nur für ausgeloggte Leser
  if (mw.config.get('wgUserName')) return;

  // nur einmal pro Browser
  const key = 'appearancePinnedOnce';
  if (localStorage.getItem(key)) return;

  function tryPin() {
    const pinBtn = document.querySelector('[data-event-name="pinnable-header.vector-appearance.pin"]');
    if (pinBtn) {
      pinBtn.click();               // pinnt / blendet ein
      localStorage.setItem(key, '1');
      return true;
    }
    return false;
  }

  // sofort versuchen, sonst kurz warten bis Vector fertig ist
  if (tryPin()) return;
  const obs = new MutationObserver(() => { if (tryPin()) obs.disconnect(); });
  obs.observe(document.documentElement, { subtree: true, childList: true });
});


mw.loader.using('mediawiki.util').then(function () {
  // nur für ausgeloggte Leser
  if (mw.config.get('wgUserName')) return;

  // Vector speichert die Textgröße hier
  const key = 'vector-font-size';

  // nur setzen, wenn noch nichts gewählt wurde
  if (localStorage.getItem(key) === null) {
    localStorage.setItem(key, 'standard');
  }
});