MediaWiki:Gadget-toolserver-integration
Zur Navigation springen
Zur Suche springen
Zusätzliche Karteireiter für externe Werkzeuge abhängig vom Kontext der gerade dargestellten Seite (Artikel, Bildseite, Benutzerseite, Kategorie…), individuell konfigurierbar.