大した話じゃ全然ないんですが、いっつも忘れてしまって、コードの中を漁るはめになっているので、メモっておきます。
何のためにこのコメントがあるかというと、PHPでは、配列の中の変数の型を定義することができません。
なので、コメントに書いておくと親切、ということですね。
/* @var int[] */
public array $numbers;上記のコメントの意味は、$numbers という配列には、数字を入れることになっている、という意味です。
ただし、これはただのコメントなので、なんの強制力もありません。
上記の$numbers に Stringを入れてもエラーを吐いたりはしません…。
しかし、あるとないとで読んだプログラマーさんがわかりやすいので大違いだとは思います。