Merge pull request #802 from DannyvdSluijs/fix-phpdocs}
Correct phpdoc annotations.

Klaus Silveira authored on Jun 27, 2018, 4:57:26 AM • GitHub committed on Jun 27, 2018, 4:57:26 AM