nicht angemeldet
Hi,
if (! isset($wp_did_header)):
Die Schreibweise mit Doppelpunkt begegnet mir zum ersten Mal... ersetzt der Doppelpunkt einfach ein Paar geschweifte Klammern oder hat es damit noch eine andere Bewandtnis?
Kannst du nicht mal ab und zu solchen Kleinscheiss selber nachschlagen?
http://www.php.net/manual/en/control-structures.alternative-syntax.php
MfG ChrisB