Was ist der Platzhalter 'navidExtIfNeeded'?

Der Platzhalter 'navidExtIfNeeded' gibt die ID des Navigationspunktes (navid) mit aus, falls eine Seite mehrfach in der Navigation verknüpft ist. Dadurch wird sichergestellt, dass die Seite den korrekten Navigationszustand anzeigt. Beispiel:
<a class='' href='{@link}{@navidExtIfNeeded}'><xsl:value-of select='@text'/></a>