variable declarations in PHPdoc, as requested