add PHPDoc headers