Use int instead of invalid timestamp type in PhpDoc