Fix phpdoc

Fixes:
- Invalid typeint

During my previous PR #3128, I forgot this correction, sorry.