Menütrennzeichen ändern ($context['menu_separator'])?

[sonst-was]

Hi,

standardmäßig ist ja ein simples Leerzeichen das Menütrennzeichen (steht ja in $context['menu_separator']). Wo und wie muss ich was ändern, um dort ein anderes Zeichen als Trenner benutzen zu können?

Nachtrag: Lösung hier gefunden: http://www.simplemachines.org/community/index.php?topic=55250.msg387378#msg387378

Hab mich wohl mit den falschen Suchbegriffen abgemüht...