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

Possibly, but why not fully document all other uses of WP functions as well then? If documentation is inconsistent, then it's not trustworthy, and therefore a far less useful resource.