Update types in PHPDoc.
PHPDoc update.
Merge pull request #750 from Tithugues/phpdoc

PHPDoc update