franz-josef-kaiser/WordPress-GitHub-Plugin-Updater — comment on commit c0699239965d2c5e850b89d9f8ad5ded7a755bdd
File: updater.php line 273
By GaryJones:

If you're documenting code, it's up to you to find out what the parameter types are, otherwise there's no point in documenting it at all.