High!
Weiter im Text... index.php inkludiert wp-blog-header.php, und dieses Skript wiederum beginnt mit folgender Anweisung:
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?
Bis bald im Khyberspace!
Yadgar