Use int instead of invalid timestamp type in PhpDoc
minor #1575 Use int instead of invalid timestamp type in PhpDoc (westonruter)

This PR was merged into the 1.16-dev branch.

Discussion
----------

Use int instead of invalid timestamp type in PhpDoc

Commits
-------

d64d2b0 Use int instead of invalid timestamp type in PhpDoc