PHPDoc The type hint of the argument is incorrect