Почему этот синтаксис действителен?

Question

Сегодня я ответил question, который имел простое решение, но я еще не понял, почему это было то, для чего интерпретатор PHP не выдавал синтаксическую ошибку. Поэтому мой вопрос прост:

Почему приведенные ниже утверждения имеют синтаксис?

SomeIdentifier:; 
AnythingGoesApparently:; 
ThisCanGoOnAndOn:; 

Более того, поскольку эти идентификаторы не определены нигде.

---

Насколько мне известно, двоеточие : используется только в составе двух операторов: The Scope Resolution Operator, The Ternary Operator, но не сами по себе. Он также используется в Alternative syntax for control structures. Но в этом случае ни один из них не будет квалифицироваться, так что это меня раздражает, как сумасшедший.

Answer 1

Я считаю, что это будет интерпретироваться как goto этикетки.

Например:

$x = 0; 
goto ThisIsBad; 
$x++; 

ThisIsBad: 
$x += 2; 

echo $x; 

Выход: 2

Ссылка: http://php.net/manual/en/control-structures.goto.php