Yadgar: if mit Doppelpunkt?

Beitrag lesen

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