Add missing PHPDoc tags

This does not change any code, only documentation.