MediaWiki:Common.css: Unterschied zwischen den Versionen

Aktuelle Version vom 13. Dezember 2025, 18:56 Uhr

/* Das folgende CSS wird für alle Benutzeroberflächen geladen. */

@@ Zeile 1: / Zeile 1: @@
 /* Das folgende CSS wird für alle Benutzeroberflächen 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'
-  );
-});