update type hint in PHPDoc