Menu aanpassen: verschil tussen versies

Versie van 10 nov 2020 14:24 (brontekst bekijken) Robis (overleg \| bijdragen) ← Oudere bewerking		Versie van 10 nov 2020 14:26 (brontekst bekijken) Robis (overleg \| bijdragen) Nieuwere bewerking →
Regel 1:		Regel 1:
−	{{#widget:menus3\|menus="{{SERVERNAME}}-main-menu"}}	+	{{#widget:menus3\|menus="WIKI:{{SERVERNAME}}-main-menu"}}

Versie van 10 nov 2020 14:26