phpdoc @var

// document almost-whatever type and description

/** @var int $num This is a counter */
$num = 0;
TechNyquist